DHCPv6 route option (was Re: Android (lack of) support for DHCPv6)