Point the kgdb script at the new Matcha targets.

Change-Id: I64500ca4cb5a35d7eaa2ea86b71ea35403ea4499

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 8181b08..f506d5c 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -24,8 +24,8 @@
   -ex "file ${PROGRAM}" \
   -ex "set confirm off" \
   -ex "add-symbol-file ${PROGRAM}" \
-  -ex "add-symbol-file out/tock-debug/riscv32imc-unknown-none-elf/debug/opentitan-matcha.elf" \
-  -ex "add-symbol-file out/libtock-rs-debug/riscv32imc-unknown-none-elf/tab/opentitan/hello_world/rv32imc.elf" \
+  -ex "add-symbol-file out/matcha/riscv32imc-unknown-none-elf/debug/matcha_platform" \
+  -ex "add-symbol-file out/matcha/riscv32imc-unknown-none-elf/debug/matcha_app" \
   -ex "add-symbol-file out/kata/kernel/kernel.elf" \
   -ex "add-symbol-file out/kata/capdl-loader" \
   -ex "add-symbol-file out/kata/debug_console.instance.bin" \