Its kind of weird because when running Cinebench R21, at first the clock does not go over 4.2GHz (~75C) but after some runs its boosts to 4225 and the temps goes up to ~88C
Regarding voltage offset on the CPU, I have to look in to that....
edit
Went down a bios version and still hit 88C but...