Alistair Francis 4157f3e012 gdb: Remove the RISC-V GDB %!s(int64=5) %!d(string=hai) anos
..
riscv-tools 672c73f1be riscv-pk: Remove riscv-pk as we no longer use BBL %!s(int64=5) %!d(string=hai) anos