so if we select more than 1.2 in the bios, it will just provide the maximum correct? Or do we have to edit the bios and specify 1.2v on the core?