Ho provato con l'aggiornamento del BIOS ma nulla di fatto, a 3,2 Ghz il Vcore parte a 1.5V.
Poi ovviamente quando parte Win va a 1.425V (impostato da me da K10Stat).
In ogni caso non ho nessun tipo di problema in avvio quindi al limite non so se sia il caso di lasciarlo cosė