This reverts commit b2623d3a9b. The revert
was an error since there was an override in my environment fetching a
more recent version of openocd.
This reverts commit b2623d3a9b. The revert
was an error since there was an override in my environment fetching a
more recent version of openocd.