base/kernel_config: add CONFIG_IP_PNP_DHCP

because #244 is broken