ARM: sa1100: convert sched_clock() to use new infrastructure