kgdb.sh: fix bitrot

- location of boot_rom.elf
- search path to find boot_rom source code

With the above we can single-step through the boot rom (modulo callouts
to some lowrisc code that doesn't seem to be part of the repo) and into
the upper layers where the sel4_gdb support finds code (with manual
symbol switching).

Change-Id: I7e64a33541323be49069193dce13b530f8d67b97

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 1f457d0..05992fb 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -26,7 +26,7 @@
 
 TARGET=riscv32-unknown-elf
 GDB="${ROOTDIR}"/cache/toolchain/bin/${TARGET}-gdb
-PROGRAM=out/shodan_boot_rom/multihart_boot_rom.elf
+PROGRAM=out/matcha/hw/boot_rom.elf
 REMOTE=localhost:3333
 
 CANTRIP_OUT=out/cantrip/${PLATFORM}/debug
@@ -77,7 +77,7 @@
 function main {
     local -a gdbargs=(
          -ex "set pagination off"
-         -ex "directory sw/tock"
+         -ex "directory sw/tock hw/matcha"
          -ex "file ${PROGRAM}"
          -ex "set confirm off"
          -ex "add-symbol-file ${PROGRAM}"