[Linux-stable-mirror] Patch "x86/smpboot: Remove stale TLB flush invocations" has been added to the 4.9-stable tree