CONFIG_ACPI_HOTPLUG_CPU=y
