ARM: OMAP: sched_clock() corrected