Naja 4,2 wollte er nicht mehr, dann hab ich ihm halt statt 1,6 VCore 1,8 im BIOS reingeprügelt.
Da isser auch gestartet hatte aber schon im SuperPi einen schlechteren Wert als auf Standardtakt (2,66). Mal sehen ich schmeiß die Mühle jetzt einfach mal wieder an.