Good idea, I just checked that, but no.
BUT in the meantime I found out that the mentioned error message is the dhcpd author's way of saying "this interface doesn't have an IP address assigned" - and indeed, there was no IPv4 address on the interface, just IPv6. I looked through the syslog but didn't see anything fancy there, so I manually assigned the configured address using ifconfig, restarted the dhcpd and it worked...
What I did notice after restarting the machine a couple of times is that after it finished booting (well I assume it's finished at this point, because the USB key's LED stops flashing), the orange LED at the NIC port doesn't light up for another 10 seconds at least, while the green LED already starts blinking. Don't know if this is related in any way, but it seems odd. I'm used to one of the LEDs being the "link up" LED that would practically light up as soon as you power on the machine (if the network cable is plugged in)... But it may just be an oddity of this particular board/chipset and not really a bug.
I'll fetch a VGA cable early next week and do a clean test install to figure this thing out.