sched/core: Idle_task_exit() shouldn't use switch_mm_irqs_off()