Atualizar o BIOS para a versão mais recente resolveu o problema.
Aqui está como eu fiz isso. Primeiro de tudo, eu sabia que o disco rígido, seu setor de inicialização, sua tabela de partições e todo o sistema de arquivos estavam OK, porque eles estavam trabalhando em uma máquina virtual. Então eu tentei encontrar uma maneira de inicializar no sistema operacional usando o computador:
- Alterei a sequência de inicialização para que o USB primeiro e o disco rígido durassem;
- removi o disco rígido;
- Eu inseri uma chave USB com o Ubuntu e inicializei nela;
- Eu reinsira o disco rígido (via SATA, que suporta hotplug);
- Pedi ao Ubuntu para inicializar no disco rígido.
Dessa forma, eu poderia acessar o sistema operacional no disco rígido, baixar as ferramentas de atualização do BIOS no site do fabricante e prosseguir com a atualização.