include source/firmware/arch/stm32f4xx/stm32f4xx.mk