Re: [PATCH v17 5/5] x86: vdso: Wire up getrandom() vDSO implementation