On 01/01/2011 03:16 AM, Stefan G. Weichinger wrote:
> Am 2010-12-31 11:59, schrieb Mick:
> 
>> Hmm ... could it be a buggy BIOS?  Are you running the latest firmware for it?
> 
> Yes, that would also have been my next question.
> Maybe you even *find* a bug in that BIOS right now that should be corrected.

Well the good news is that my BIOS is not foobarred. The bad news is
that I have to figure out what's wrong -- Ubuntu 10.10 came up with
scaling_max_freq = 2667000. ARGH!!!!

Changing some kernel settings....

And attached is the dmesg from that ~other~ OS.