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