RESOLVIDO!
Demorou um pouco, no entanto.
Eu tive que atualizar o BIOS diretamente naquele cartão (era antigo), e funcionou - quase instantaneamente! Não há mais nada. 5.4.xx funciona perfeitamente (era 5.0.xx).
Até mesmo a unidade de 750GB da Samsung já funciona como nunca antes.
A ferramenta de atualização é chamada UPDFLASH.EXE . A atualização funcionou muito bem, mesmo em DR-DOS inicializado via grub .
(Não vai mexer com disquetes nunca novamente, aquele é, com certeza.)