Conflicts: Debug/openocd.gdbinit Debug/px4fmu-v1-board.cfg
Note: We now use the version of stm32f4x that comes with openocd 0.7.0 or later