x86, Kconfig: Add config switch for CPU0 hotplug