# CONFIG_ACPI_PROCESSOR_IDLE is not set
