Changed to use the official ChibiOS/RT repository