# CONFIG_NET_VENDOR_MEDIATEK is not set
