pios/stm32f4xx: add support for ChibiOS
pios/stm32f4xx: add makefile and linker script for ChibiOS support