[PATCH] sched: implement cpu_clock(cpu) high-speed time source