Yea it's the same for me, but i thought it was normal as the 2x00k will only goto the max turbo frequency when only one thread is loaded ?
When all 4/8 threads are loaded it will use a x35 multiplier. If i've misunderstood then i want a BIOS update!
Either way though, i never see it clock higher than 3500Mhz (I run at stock apart from when benchmarking)