# CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set