K 10 svn:author V 8 jhibbits K 8 svn:date V 27 2017-04-01T22:35:03.925533Z K 7 svn:log V 122 Use the newly added mpc85xx_get_system_clock() Simplify the platform clock acquisition by using the new helper function. END