timesyncd: properly handle multiple configured NTP servers and multiplei IP addresses per server name