ARMv7M: Add STM32F4 support