Use the newly added mpc85xx_get_system_clock()
Simplify the platform clock acquisition by using the new helper function.