Generate /etc/krb5.conf files