openafs, openafs-driver: Kernel 3.7 fixes