gss_krb5: import functionality to derive keys into the kernel