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