More work on building for stm32, both with and without ChibiOS.