Stock BIOS is best to use with 4XX cards here.  Actually got better speeds when flashing back to stock from my ETH mod BIOS.