# CONFIG_NET_VENDOR_AGERE is not set