ARM: 7643/1: sched: correct update_sched_clock()