Comment 104 for bug 22336

For those of you who have this problem, my workaround is:

echo -n 1000000 > /sys/devices/system/cpu/cpu0/cpufreq/scaling_max_freq

Though I actually use the sysfs-utils package to set this automatically at boot time.