"openocd/rpi-swd-programming-adapter.ko" did not exist on "8443680a20f550886dde310b7188d1ac7e596a0a"