x86/mm: Eliminate redundant page table walk during TLB range flushing