Merged back the STM32F4xxx config2 into a single working one.