[PATCH 25/32] tools/nolibc: allow different write callbacks in printf