ChibiOS/RT portable HAL code