openocd_configs OpenOCD config files that I haven't yet gotten around to cleaning up for upstreaming.