OK, I just installed Linux on the machine and patched 2.6.8
successfully, but I'm getting a a "No such device" because the
powernow_decode_bios routine never finds the "PSB Header".  I have no
idea what a PSB header even is.

Do I need to fake the PSB header information as well?  Or is there a
simpler way around this?


I also attached the dump of x86info.  I'm not sure why it's telling me
FID changes won't work; it's looking at some FIDC bit in an MSR... 
This wouldn't affect cpufreq would it?