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