altos/stm32f4: Add more stm32f413 definitions and support code