I assume when voltage values are given regarding the degradation of the chips that it would be the reported value, not the value set in the BIOS?