Update openocd config for stm32f4_discovery examples to counter flashing problems