ARM: timer-sp: Switch to sched_clock_register()