# CONFIG_NET_VENDOR_ARC is not set