This project page describes the new APIs to be included in 1.12 for MIC
tokens:
http://k5wiki.kerberos.org/wiki/Projects/GSS_IOV_MIC_API
My candidate implementation is at:
https://github.com/greghudson/krb5/commits/iovmic
Comments are appreciated. I expect to push this next Monday if no
further work on it is required.