CONFIG_TIMER_ACPI=y
