No sé, a mi nunca me ha pedido ficheros con esa extensión cuando he actualizado la BIOS de algunos equipos. Puedes probar a crear un diskette con la actualización de la Bios, que lo puedes encontrar
aquí. Leete tambien las instrucciones que vienen en el fichero una vez lo descomprimes.
Un saludo.