[PATCH 5.15 543/690] NFSD: Add an nfsd4_encode_nfstime4() helper