ChibiOS-RT port to Tiva/Kinetis