I suspect he has an FX-8150 Zambezi with the system clock at 250MHz (14x250MHz = 3.5GHz)
By using DDR3 1333 the memory divider is dropped from 6.67 to 5.33 to keep the memory at spec speed.
When Turbo kicks in, the CPU multiplier/P-State raises voltages and boosts several individual core speeds.
As long as temps are under control, the voltages look okay.
edit -- just realized he has 6 active cores
so it's possible it's a Thuban with Turbo