Comment 13 for bug 36014

I've further narrowed this down to the cpufreq_verify_within_limits call inside acpi_processor_ppc_notifier in acpi/processor_perflib.c. I'm not quite sure why the maximum value gets set to the minimum value, but my guess is that for some reason, ppc is getting set to the lowest frequency state instead of the highest frequency state. I've stuffed some printk's in the code and will try to see if this is the problem the next time I reboot.