> aren't both those options overclocked to reach those speeds?

I guess they are. Freescale specs the 7448 at 1.7 GHz max.