[Bug 758879] New: NetworkManager doesn't write NTP servers provided by DHCP to netconfig