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