x86/mm: Clean up inconsistencies when flushing TLB ranges