# CONFIG_NET_VENDOR_8390 is not set