Several cmsis-dap devices are linked on my computer. How does openocd search and select the cmsis-dap download program?