powerpc: Implement smp_release_cpus() in C not asm