This patch changes PSCHED_CPU clock source to use get_cycles.