Re: [S390x] Optimize GHASH