Re: [PATCH v23 4/4] selftests/vDSO: add tests for vgetrandom