bootserver: add dnsmasq configuration for kerberos top realm