[PATCH 4.19 10/12] x86/mm: Avoid incomplete Global INVLPG flushes