ARM: make sched_clock just call a function pointer