nfsd4: tweak nfsd4_encode_getattr to take xdr_stream