# CONFIG_IP_PNP_BOOTP is not set
