clocksource, acpi_pm.c: check for monotonicity