Changes support changes to core-firmware for STM32F4