Minor compile fix for new ChibiOS commits