Fixup misuse of get_cpu_clock()