[PATCH 01/17] tools/nolibc: make argc 32-bit in riscv startup code