ARM: clps711x: Switch to sched_clock_register()