sched, x86: Avoid unnecessary overflow in sched_clock