void ppc600_set_clock_freqs(unsigned sysclk);
On a PPC 600 series chip, set the cpu_freq, timer_freq, and cycles_freq variables appropriately, given a system clock input frequency of sysclk.