Symbol: do_cpus_init