Comment 1 for bug 1280765

I also have the same issue. I am using X1 carbon, i7 3667U. The max turbo should be 3.0 Ghz-3.2Ghz. However cpufreq is limited by the bios_limit which is at 2.0Ghz. /proc/cpuinfo does not display more than 2.0Ghz.

i7z, however, displays that the cpu works properly and is able to reach 3.0Ghz. Some simple testing with MATLAB also shows that the cpu is able to run at more than 2.0 Ghz.