timers, sched/clock: Optimize cache line usage