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