ChibiOS build fix