They still did not upstream their openocd changes. I wonder what's the reason. Is their debug protocol so proprietary? OpenOCD works with many controllers out of the box, including ARM ones, but not raspico.