# CONFIG_ACPI_PROCESSOR is not set
