CONFIG_HPET_TIMER=y