# CONFIG_NET_IPVTI is not set
