Seria bueno que anotaras tal cual que es lo que aparece de mensahje 'en ingles'.
Ahoram, ten en cuenta que hay varias versiones del mismo modelo de una tarjeta madre y con ello variantes del mismo modelo de PC portatil, por lo que hay que saber exactamente que modelo es y de ahi ir a la pagina exacta correspondiente a ese modelo del fabricante para bajar el UEFI [uefi es la evolucion del arcaico BIOS] correcto.