# CONFIG_NET_VENDOR_TEHUTI is not set