# CONFIG_INET_IPCOMP is not set
