Problema resolvido limpando o CMOS e configurando o BIOS novamente (usando as mesmas configurações). O BIOS foi anteriormente exibido algumas vezes, mas o CMOS nunca foi limpo. Desde que eu considerei este problema uma falha de driver / software, eu nunca pensei sobre isso ...