[PATCH 6.1 017/451] NFSD: Add an nfsd4_encode_nfstime4() helper