Por que meu Raspberry Pi não faz overclock?

Editei o arquivo /boot/config.txt para aumentar a velocidade da CPU para 800MHz. dmesg inclui a seguinte linha bcm2835-cpufreq: Freq 800000->700000 (min=700000 max=800000 target=700000 request=700000) Com certeza, minha CPU está rodando apenas a 700 MHz. Por que meu Raspberry Pi não faz...