fmf Is there a way to provide clients with a ipv6 dns Server address? push DHCP-OPTION DNS only accepts ipv4 addresses.