ARM: sched: correct update_sched_clock()