4.2 max CPU speed on osx??

[wickedme]

I am on an Z77X-UP5 TH also. HW Monitor show me 3500 Mhz (3.5 multiplier), but bdmesg shows me:
processorVersion: Intel(R) Core(TM) i7-3770K CPU @ 3.50GHz
externalClock: 100MHz
maximumClock: 3503MHz
currentClock: 4200MHz

Which is wright?