Revert "x86/mm: Stop calling leave_mm() in idle code"