[PATCH 14/32] tools/nolibc: handle intmax_t/uintmax_t in printf