Add a new nfs_stat64() function that operates on a always-64-bit stat structure