en la consola de comandos:
$ cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_available_frequencies
entonces os saldrán las velocidades (en kHz) que se pueden escoger. en mi caso eran:
1800000 1000000
y como me interesaba dejarla a 1000000 para que se calentase menos puse como root
