[ppm] Temporary fix for the PPM driver
* added Timer Channel 3 into ChibiOS
* so it is possible to compile RT paparazzi and use PPM radio
* temporary only, eventually I will push a patch to the official ChibiOS repo and link back there