Name changes to conform with ChibiOS