Apologies for the late reply, i went into my bios last night and the voltage is 1.26V, for some reason only one of the cores is set to turbo boost to 4.2 GHz. If i go into performance tuning it lists 4 turbo boost multipliers (42, 40, 40 and 40) surely all cores should be 42 be default?
Further...