Personalmente, cosa che faro' anche io, proverei anche a vedere di reperire un chip bios e mandarglielo da riprogrammare, cosi' da avere un backup.
Si dovrebbe riuscire a reperirlo in un comune negozio di elettronica, e' un chip abbastanza comune e non dovrebbe avere neppure un costo esagerato.