There is a bug in acpi-cpufreq, due to which we assume that we are booting at highest possible P-state. Ideally, we should be setting the frequency at the boot-time to a known frequency and should not depend on BIOS to set it properly.
Created attachment 5076 [details] Patch to initialize frequency properly when acpi-cpufreq driver loads
applied to-linus
shipped in 2.6.13-rc5 -- closing