Re: [RFC] Re: POWER9: Is there a way to improve the random number generation on PPC64?