> Suggestion: Enable the CONFIG_HPET_TIMER kernel configuration option. > Without HPET support the kernel needs to wake up every 20 milliseconds > for some housekeeping tasks. Isn't HPET x86-only ?