gericom bellagio bios

[Cokiere]

salve,
mi dite come posso aggiornare i bios di un Gericom bellagio.
Ovviamente ho scaricato 2 file con estensione bin; e adesso che faccio?
Non ho trovato esegubili.
Grazie per il vostro aiuto
ciao a tutti