sched clock: clean up sched_clock_cpu()