What bios for DFI UT P35 t2r is good with a e6850 and what settings are best for performance in frequency: 3600mhz-3800mhz and 4000mhz with e6850? And for lower CPU voltage should be played with GTL ?