[ARM] orion: make sure sched_clock() usage of cnt32_to_63() is safe