anandtech reported differences in their benchmark because of an updated BIOS version, is there any mention of what BIOS was used while benchmarking the 3900X?