cpufreq-simple sets it to ondemand by default, which does
not behave well on some Tavolga kernels.