4 ms·

I rebooted mine as well and got @ 2.27 GHz, so I guess that they probably haven't gotten to your server yet.