"openocd/rpi-swd-programming-adapter.ko" did not exist on "85d2ff4a98d925c4b50b7614321ba6b6251660df"