ba831b7b1a51 ("cpu/hotplug: Mark arch_disable_smp_support() and bringup_nonboot_cpus() __init")