I can't find my previous answer to group, just rewrite it. Alexey Starikovskiy:
Please check if your BIOS has EST enabled.
there isn't any options about cpu, except C4 on/off
If yes and you still can not load acpi_cpufreq, please provide acpidump output and /proc/cpuinfo.
some information and attachments is here: http://bugzilla.kernel.org/show_bug.cgi?id=10513 -- Best Regards, Michael -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html