The reply I posted a couple minutes ago was innaccurate. I must not have been paying careful attention yesterday when I tried nodhcp on my own.

I just tried again. The last thing that appears is this.

probing/loading agp modules udevd_event[3391]: wait for sysfs: waiting for '/sys/c;ass/net/eth0/device/driver' failed.