stm32f4discovery: use openocd for flashing

HEXFILE is already set in Makefile.include