# CONFIG_MPLS_IPTUNNEL is not set
