We need an implementation of krb5_c_prf and
draft-ietf-kitten-krb5-gssapi-prf.