ARM: davinci: Switch to sched_clock_register()