nfsd41: xdr infrastructure