be a domain name instead of an IP address. This allows for round-robin to multiple servers, in the same way as --dhcp-boot.