ARM: Realview/Versatile: separate out common sched_clock()