Yeah, that sounds like a bug in the NFS userspace portions to me.
The way that I understand this is supposed to work is that the NFS Kerberos support is divided into two components: a userspace daemon that finds the user's ticket cache, grabs credentials where necessary, and loads them into the kernel, and the kernel support which just presents those kernel credentials to the file server.
It sounds like the userspace daemon isn't finding the ticket cache and doing its magic with it.
Just one thing to double-check: when this happens, what's the file name of the user's ticket cache? Does it contain the UID?
Yeah, that sounds like a bug in the NFS userspace portions to me.
The way that I understand this is supposed to work is that the NFS Kerberos support is divided into two components: a userspace daemon that finds the user's ticket cache, grabs credentials where necessary, and loads them into the kernel, and the kernel support which just presents those kernel credentials to the file server.
It sounds like the userspace daemon isn't finding the ticket cache and doing its magic with it.
Just one thing to double-check: when this happens, what's the file name of the user's ticket cache? Does it contain the UID?