Fix PPM support when using 8 channels on STM32F10x.

This was broken when 12 channel support was added in combination with
the STM32F3 support.
Disable HoTT debug output.
Latest binaries.