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