altos/stm32f4: Add STM32F413 disco board support