stm32f4discovery: use openocd for flashing

Is there any difference between `tar ext :3333` and `tar ext 127.0.0.1:3333`?