x86: fix more non-global TLB flushes