[PATCH v1 1/3] nolibc/stdlib: Implement `getauxval(3)` function