[New: openFATE 308348] integrate openocd in repository