[PATCH 31/32] tools/nolibc: implement width padding in printf()