# CONFIG_NET_VENDOR_WIZNET is not set