[Bug 426592] clocksource 'acpi_pm' looses time.