[PATCH 6.3 04/29] x86/smp: Make stop_other_cpus() more robust