So now we just need a stateful ipv6 dhcpd in something like TomatoUSB. Someone has probably already done that.