Das was ich bisher beim Gigabyte gesehen habe, bestätigt deine Vermutung. Allerdings auch nur mit dem letzten BIOS da das ältere F4 zb. @ Auto gleich mal 1,45v vCore gab. Nun geht der aber max. auf 1,22 mit Prime. Nebenspannung alle auf Null.
Beim OC Formula war es aber anders, da gabs gleich...