Fix default choice for ntp server in dhcp