# CONFIG_INET6_IPCOMP is not set
