During writing, I made the mistake and assumed that our STM32F407
benchmark would run at 84 MHz. However, we opted to choose the
default clocking profile instead. After assuring this for our own
benchmark, I forgot to update the AuCPake cycle count.

We should take the 16 MHz cc measurement though, because it better
resembles our own benchmarking setup.

Thanks to Matthias for finding this mistake.