[added to the stable tree] sched/core: Idle_task_exit() shouldn't use switch_mm_irqs_off()