Fix DNS-server handling in DHCPv6-options