Except cpufreq (kernel CPU frequency scaling) isn't running during the early boot stages when the BogoMIPS value is calculated. Like I said, it's possible the

Except cpufreq (kernel CPU frequency scaling) isn't running during the early boot stages when the BogoMIPS value is calculated. Like I said, it's possible the bootloader starts up at @250Mhz or so and leaves the kernel to later switch up to 800Mhz. I don't know why you'd design a board like that though (normally you want to boot nice and quick), but you never know. Also, even though cpufreq reports in Mhz those values will be extrapolated in the kernel from a base frequency & clock multiplier registers somewhere else, so it can easily be out by a constant factor. Once some benchmarks come out it should become more obvious if there's anything to this.