stm32: make code work with STM32F4xx_DSP_StdPeriph_Lib_V1.4.0 and openocd