[PATCH v4 01/10] tools/nolibc: sys.h: add a syscall return helper