x86/mm, sched/core: Turn off IRQs in switch_mm()