Added configured version of stm32f4xx.h