Para quem ainda precisar, o comando para dar flash na BIOS é CTRL+Insert. Se aparecer um texto verde, é porque deu certo, se tiver ficado vermelho, tentem formatar o pen drive contendo a BIOS para o formato FAT ou FAT32. Se ainda der errado, a BIOS pode estar errada, pode ser necessário utilizar outro arquivo.
Correção: o comando CTRL+Insert é para inserir um arquivo de restauração, providenciado pelo governo para o administrador da instituição de ensino. Não para BIOS.