sched: optimize sched_clock() a bit