stop_machine: Avoid a sleep and wakeup in stop_one_cpu()