[PATCH 4.1 09/65] x86/mm, sched/core: Turn off IRQs in switch_mm()