Symbol: sched_stop_secondary_cpus