cpus: Use cpu_is_stopped() efficiently