ARM: orion: convert sched_clock() to use new infrastructure