Add get_cpu_clock() for powerpc