Here's the results (max scaling still set to 800Mhz) I'm a bit worried that it never seems to go into any pstate lower than 500mhz.. The other 'overclocking' kernels included scaling down to 125mhz. Installing your cpufreq-utils package does not automatically enable the cpufreq daemon, does it?