i5 4200U - Tubo geht unter Linux nicht

[DKK007]

Ich habe einen neuen HTPC (Zotac Sphere Barebone). Drin steckt ein i5-4200U. Da ich noch keine Zeit für eine BS installation habe, wollte ich das System einfach mal mit einer Linux Mint 17 LiveCD testen. Die CPU hatte die meiste Zeit nichts zutun und lag bei etwa 3-5% @ 759MHz. Unter Last ging die CPU jedoch MAximal auf 1,6 GHz Standardtakt. Da nur ein Kern belastet wurde hätte jedoch der Turbo bei 2,6 GHz liegen müssen.
Im Bios ist der Turbomodus enabled und es wird auch 2300 MHz als MAximaler Takt angezeigt.

Fehlt eventuell noch ein Treiber oder ist gar die CPU defekt?

Kernel ist der 3.13

 

[Abductee]

Der Turbo funktioniert vermutlich völlig normal, es ist unter Linux nur problematisch den Turbotakt der CPU angezeigt zu bekommen.
Normalerweise wird unter Last nur der höchste Grundtakt ohne Turbo angezeigt, mit welchem Programm liest du das denn aus?

Turbo Boost unter Linux | c't
11.04 - Is Turbo Boost Working? - Ask Ubuntu

 

[DKK007]

cpufreq-info

 

[freezy94]

Bei mir wird auch nur max. 3.40 GHz unter Linux angezeigt obwohl ich mit 4.90 GHz fahre.