CPU frequency scaling problem - laptop users, please check this

[compdoc]

>How to check it? One way is from the console, simply do:cat
> /proc/cpuinfo. Within the results should be something like this:

>model name : Intel(R) Pentium(R) Dual CPU T2330 @ 1.60GHz
> stepping : 13
> cpu MHz : 800.000


Fresh install of 11.04 Final on my Lenovo R61i:

cat /proc/cpuinfo

Processor 0:
   model name : Intel(R) Pentium(R) Dual CPU T2390 @ 1.860GHz
   stepping : 13
   cpu MHz : 1867.000

Processor 1:

   model name : Intel(R) Pentium(R) Dual CPU T2390 @ 1.860GHz
   stepping : 13
   cpu MHz : 800.000


And this alternates - each core changes from 1867 to 800, and back again
every time I type the command. Also, sometimes both will be at 800,
sometimes both at 1867. Doesn't matter if I'm AC or battery.

Is this how it should be working?