x86/mm/tlb: Revert the recent lazy TLB patches