stm32f4discovery: use openocd for flashing