# CONFIG_IP_PNP is not set