Is the PCI Clock on these new Gigabyte P35 boards locked at 33 Mhz when raising the FSB? There is no way to directly lock the PCI bus in the BIOS and I don't want to fry my PCI cards from overclocking!