Minor cleanup of krb5.conf file (removing extraneous kdc entries)