sched, x86: Optimize the preempt_schedule() call