Symbol: boot_cpu_hotplug_init