Si tu as la doc, regarde s'il n'y a pas d'autre possibilité pour mettre à jour le BIOS sans démarrer l'OS (disquette, clé USB...). On ne sait jamais.
Certaines cartes mères ont la possibilité de démarrer sur un BIOS de secours dans ce genre de cas, mais normalement c'est automatique, et je ne sais pas si ça existe sur les portables.

Au pire y'a la possibilité de reprogrammer la puce avec un programmateur externe, mais sur un portable y'a des chances qu'elle soit soudée (ça reste faisable mais c'est plus compliqué).