[tip: x86/core] x86/smp: Make stop_other_cpus() more robust