Symbol: nfsd4_encode_posixacl