# CONFIG_ACPI_HOTPLUG_CPU is not set
