Frequency of pin toggle loop doesn't proove anything, especially on high speed MCUs. Bus clock on these is much slower than CPU clock. CKO pin is good way to check CPU frequency. If you don't believe it, then perhaps try using ARM performace monitor. It contains counter which operates at CPU clock frequency. Let it run for few seconds, then read 32bit counter and see if it makes sense. See two routines attached.