Currently the afs_krb5 appdefault is only documented in the readme for krb524d and for the 1.2.x release. This should make its way into the krb524 migration guide and to the krb5.conf documentation.