[PATCH] freevxfs: Add missing lock_kernel() to vxfs_readdir