Fixes:
- increase stepcount again in RK76
- avoid warning: explicit cast from unsigned int to int
- Omit debug printf