[PATCH v2 1/2] tools/nolibc: add stdarg.h header