Os arquivos do Silicon Image bios vêm em 2 versões, uma versão "Raid" e uma versão "Base". Eu tinha inadvertidamente mostrado a versão RAID. Isto é o que estava causando o BSOD. Eu baixei FreeDOS e adicionei o SII3512 para a imagem do CD e gravou o CD. Em seguida, segui as instruções da documentação de atualização do BIOS para atualizar o controlador com a versão "BASE" do BIOS. E agora eu estou digitando esta resposta na máquina que foi BSOD anterior.