#undef CONFIG_HOTPLUG_CPU