Comment 57 for bug 183033

Tobias, as I tried to explain, core0 will be running at 1994.556 MHz, not 800 Mhz as you'd expect. The CPU will only get clocked down to 800 MHz if both cores are (logically) clocked to 800 MHz. That isn't going to happen with cpufreq not working for the second core! Tim is technically correct in that the cores do not run at different frequencies (physically), but his conclusion is wrong. This is a serious bug, cpufreq really isn't working at all (despite appearences), not a cosmetic one!