[tip: x86/core] x86/smp: Cure kexec() vs. mwait_play_dead() breakage