ARM: 7205/2: sched_clock: allow sched_clock to be selected at runtime