OpenOCD configuration for the Raspberry Pi with a FT2232H MiniMod