In order to configure Kerberos, I just need to modify one line in the [libdefaults] section of the /etc/krb5.conf file.
dns_lookup_kdc = true
This is said to be unreliable at times. So far, it's worked okay for me.