Comment 14 for bug 132403

i would like to add to the comments that i have an hp dv2756 laptop and there is no frequency scalling.

this is running a stock T9300 processor. will not load the acpi_cpufreq module. earlier i have checked the bios by de/reconstructing using intel's compiler and it gave no errors.

attached dmesg hoping that somehow helps.

running gutsy gibbon with stock kernel, latest update