b56a9492d058 ("tools/nolibc: add stdarg.h header")