[tip: x86/core] x86/smp: Use dedicated cache-line for mwait_play_dead()