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