Gibt auch cpufreq-info nicht die 4 GHz aus? Steht in der Ausgabe von dmesg irgendwo was von Boost bzw. boost?
Sowohl Intel als auch AMD haben ihre Turbo-Features irgendwie "durch die Hintertür" in die CPU gebastelt, damit die auch funktionieren wenn das Betriebssystem nur die normalen Stromsparmechanismen zum Runterdrehen der Taktfrequenzen kennen. Lästiger Seiteneffekt ist dabei, dass das dafür auch nicht in diesen Anzeigen auftaucht, aber es würde mich sehr wundern wenn es nicht irgendwo Tools gäbe um trotzdem nachzuschauen.