[S390x] Optimize SHA3 permute using vector facility