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