rtos: add support for ChibiOS/RT 3.0