Ah, I see that I should have mentioned that I am running a GUI-less Linux install... Sorry about that!
I also found out that you were correct, so thanks for valid answers!
😉 PS: I determined the actual CPU frequency with the software i7z, found here:
https://code.google.com/p/i7z/