[PATCH 5.15.y 1/3] NFSD: Rework encoding and decoding of nfsd4_deviceid