Gelöst!
Es dauerte eine Weile. Ich musste das BIOS direkt auf dieser Karte aktualisieren (es war altmodisch), und es hat funktioniert - fast sofort! Es hängt gar nichts mehr. 5.4.xx
funktioniert einwandfrei (war 5.0.xx). Selbst das bereits erwähnte Samsung 750GB-Laufwerk funktioniert jetzt wie nie zuvor.
Das Update-Tool wird aufgerufen UPDFLASH.EXE
. Das Update funktionierte auch in DR-DOS
gebootet via super grub
. (Nicht immer wieder mit Disketten herumspielen, das ist sicher.)