[PATCH v3 23/32] tools/nolibc: add dprintf() and vdprintf()