Re: [PATCH 05/15] tools/nolibc: add getrandom()