[tip: x86/core] x86/smp: Remove pointless wmb()s from native_stop_other_cpus()