Point to my version of ChibiOS