ARM: orion: Switch to sched_clock_register()