bringup_nonboot_cpus
void bringup_nonboot_cpus(unsigned int max_cpus);
bringup_nonboot_cpus(setup_max_cpus);