# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set