#13 fails on dual NIC DS20

[HP Admin User]

Jumpstart 1.1, recent SRM (don't have details), DS20,
Dual DE500s.

Problem: Jumpstart hangs during boot
with dual NICs in a DS20. Removing one or both cures
the problem.

Information sent to me from customer:

I've tried jumpstart 1.0 and 1.1 on a
ds20 with
two de4x5 ethernet cards in it.

I get the error

IP-Config not enough information

after initializing eth1

then the boot process seems to just be
stuck.

Have you seen this before?

Thre was nothing in the jumpstart FAQ.