Rework the Kerberos Autoconf probes