x86/smpboot: Remove stale TLB flush invocations