Installer: NTP server from DHCP

[Thomas Pfaff]

In the installer, when configuring an interface using DHCP and then later
when you're asked to specify an NTP server, would it be possible to use
the server specified by the DHCP server (option ntp-servers ip-address)?