Is it even necessary to flash the BIOS? With that kind of overclock with the stock BIOS is seems totally unneeded.