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