[PATCH 6.12.y 3/5] NFSD: Rework encoding and decoding of nfsd4_deviceid