cpu_stop: implement stop_cpu[s]()