libopencm3/tests/gadget-zero/openocd.stm32f429i-disco.cfg