Linux: use DEFINE_MUTEX for afs_linux_alloc_sem on newer kernels