Updated to match the latest ChibiOS revision