Further testing has shown that some desktops are OK. Desktops with an Award BIOS seem to have the problem, others don't.

Does anybody know any special caveats of Award BIOSes?