PPSi port to ChibiOS/RT