A solução para este problema foi basicamente para formatar o SSD mSata. Parece que o meu mexer com o OpenBSD deixou o mSata SSD incorretamente formatado, o que fez com que o BIOS não entrasse no BIOS. Portanto, inserir o mSata em outro laptop (um Thinkpad T520) e formatar o SSD mSata resolveu o problema.
Não teve nada a ver com a atualização do firmware da BIOS, a versão 8 foi instalada com sucesso depois que eu consegui entrar na BIOS novamente.