Don't build openocd here, it's in riscv-tools now