clocksource: versatile: Use sched_clock_register()