#define CONFIG_X86_CYCLONE_TIMER 1