Hello, I did have the same problem on a Thinkpad X31 with powertop-aware Linux kernels and HRT patches, and found that setting : CONFIG_HPET_RTC_IRQ=y in my kernel configuration resolves it... Fred.