android: Request and install an IPv6 DNS server