[added to the 4.1 stable tree] x86/mm: Make flush_tlb_mm_range() more predictable