Jetzt geht's!
Erfahrungsbericht:

Es ist mir zwar gelungen, ein gepatchtes BIN-File herzustellen und es einzuspielen, aber dann gab's einen Bios Checksum Error (Fatal Error). Das Bootblock-Bios lies mich allerdings mit einer Bootdiskette flashen: also wieder zurück zum Original-Bios. Dieses fand nicht einmal den richtigen Prozessor.

In dieser Not traf das geborgte USB-Keyboard ein. Es wurde (wider Erwarten) sofort vom Bios erkannt, obgleich die USB-Unterstützung im Setup abgeschaltet war. Wahrscheinlich überprüft das Bios zunächst, ob eine PS2-Tastatur da ist, wenn nicht sucht es nach USB.

Ich hätte mir also die ganze Patcherei sparen können.