bring ChibiOS up to speed