Re: [PATCH] x86/smpboot: Don't do mwait_play_dead() on AMD systems