mpc85xx_get_platform_clock
if ((bus_freq = mpc85xx_get_platform_clock()) <= 0) {
freq = mpc85xx_get_platform_clock();
uint32_t mpc85xx_get_platform_clock(void);