[Linux-stable-mirror] [PATCH 4.14 87/89] x86/mm: Rework wbinvd, hlt operation in stop_this_cpu()