Re: [PATCH v2 00/17] Wire up getrandom() vDSO implementation on powerpc