x86/mm: delete unused cpu argument to leave_mm()