¿Por qué mi Raspberry Pi no se acelera?

Edité el archivo /boot/config.txt para aumentar la velocidad de la CPU a 800MHz. dmesg incluye la siguiente línea bcm2835-cpufreq: Freq 800000->700000 (min=700000 max=800000 target=700000 request=700000) Efectivamente, mi CPU solo funciona a 700MHz. ¿Por qué mi Raspberry Pi no se...