OpenOCD - STM32F4Discovery