Added handling of IPv4 DNS server addresses - push them as received from DHCP, not PD.