Comment 9 for bug 132271

I have the same problem. Stuck at 800Mhz on a Dell Inspiron 9300.
Found this in dmesg... but not the things you had.
[ 28.157214] Early unpacking initramfs... done
[ 28.881642] ACPI: Core revision 20070126
[ 28.881724] ACPI: Looking for DSDT in initramfs... error, file /DSDT.aml not found.
[ 28.886449] CPU0: Intel(R) Pentium(R) M processor 1.86GHz stepping 08
[ 28.886489] Total of 1 processors activated (1598.18 BogoMIPS).
[ 28.886686] ENABLING IO-APIC IRQs
[ 28.886912] ..TIMER: vector=0x31 apic1=0 pin1=2 apic2=-1 pin2=-1
[ 29.032187] Brought up 1 CPUs
[ 29.032364] Booting paravirtualized kernel on bare hardware
[ 29.032448] Time: 22:12:21 Date: 08/13/107
[ 29.032481] NET: Registered protocol family 16
[ 29.032604] EISA bus registered
[ 29.032622] ACPI: bus type pci registered
[ 29.070198] PCI: PCI BIOS revision 2.10 entry at 0xfbaae, last bus=4

Attached is the whole dmesg.
Linux version 2.6.22-11-generic