Symbol: smp_release_cpus