ibm440gx_fixup_clocks
void ibm440gx_fixup_clocks(unsigned int sys_clk, unsigned int ser_clk,
ibm440gx_fixup_clocks(sysclk, 6 * 1843200, 25000000);