mpc85xx_get_system_clock
clock = mpc85xx_get_system_clock();
sysclk = mpc85xx_get_system_clock();
freq *= mpc85xx_get_system_clock();
plat_clk = mpc85xx_get_system_clock();
uint32_t mpc85xx_get_system_clock(void);