fix for latest version of ChibiOS