Para responder minha própria pergunta. Isto é o que eu fiz para fazê-lo no final. Eu simplesmente segui isso praticamente ao pé da letra e usei um disco flash USB. Copiei o BIOS e o programa flash para ele.
O BIOS e o programa flash são do ônibus espacial. Eu tenho uma versão 1.2 do SG31G2.
Depois que eu iniciei isso, consegui executar o awdflash e atualizar o BIOS com o novo arquivo do BIOS.
Agora posso executar o Virtual Box com as extensões VT ativadas, o que significa que agora também estou executando o Windows 7 de 64 bits dentro da caixa virtual. Antes da atualização do BIOS, o host congelava.