Check MD5 sum of the bios. For e.g. use http://www.elgorithms.com/downloads/chaosmd5.php. It should be "a860e8c0b6d573d191e4ec7db1b1e4f6".