#undef CONFIG_HPET_TIMER