[tip: x86/urgent] x86/mm: Avoid incomplete Global INVLPG flushes