If you can't find the file (and the instruction on how to flash the BIOS) on the samsung support site, better call their customer service (in the USA: 1-800-SAMSUNG).