# CONFIG_IPV6_MIP6 is not set
