Can you try something for me? Comment out the vput(dvp) in osi_vnodeops.c:afs_vop_mkdir() and see if that fixes it. Also, I'm suspicious of your kldload command. I think it really wants the module to be in /boot/kernel. If it's somewhere else too it can get confused.