Just a quick one with the turbo v and the r3e board - were you able to adjust and set the pci-e frequency in windows or did you have to do it via the bios?