[PATCH 5.10 758/770] NFSD: Add an nfsd4_encode_nfstime4() helper