[added to the 4.1 stable tree] x86/smpboot: Remove stale TLB flush invocations