Provide a fast sched clock using the free-running timer and the generic
sched_clock infrastructure.
Signed-off-by: NRabin Vincent <rabin@rab.in>
Signed-off-by: NJesper Nilsson <jespern@axis.com>