dece8476d6dd ("tools/nolibc: annotate va_list printf formats")
322759f98336 ("tools/nolibc/stdio: Implement vprintf()")