# CONFIG_IPV6_VTI is not set
