krb5 uses readdir() on Linux for processing the config files in, e.g., /etc/krb5.conf.d. This doesn't sort the files, which means the order of their processing is undefined.
This has been patched in Fedora already.
For verification, probably SanityOnly is best, since it's undefined behavior.
Since the problem described in this bug report should be
resolved in a recent advisory, it has been closed with a
resolution of ERRATA.
For information on the advisory, and where to find the updated
files, follow the link below.
If the solution does not work for you, open a new bug report.