Porting Raspberry PI external interruption to ChibiOS/RT