[PATCH 4.9 59/61] x86/smpboot: Dont use mwait_play_dead() on AMD systems