#define CONFIG_HPET_TIMER 1