#define CONFIG_X86_PM_TIMER 1