<snip>
...
</snip>

1. update bios to the latest from manufacturer and check bios settings ( Must do )
2. restore /etc/sysconfig/cpuspeed to it's original form ( Must as well )

Check if things work if they dont after bios update and orignal cpuspeed file and after fiddling with power savings, EIST, processor scaling, etc.  then boot with cpufreq.debug=7 and test latest kernel .35 .36 .37 from koji

JBG