patched version of OpenOCD to work with our controllers (STM32F302)