The IPv6 files are copied from https://www.reddit.com/r/raspberry_pi/comments/14vcpz/rpi_as_an_ipv6_router_using_a_sixxs_tunnel_and/ an they are here because they were my biggest difficulty with having Arch on Pi as IPv6 router. Also helpful https://wiki.archlinux.org/index.php/IPv6_tunnel_broker_setup