A workable CMSIS for STM32F4 and the STM32F4_StdPeriph_Driver was ready