sched/idle/x86: Optimize unnecessary mwait_idle() resched IPIs