scripts: load sel4 extensions in kgdb.sh

Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 5e9584c..49da09f 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -28,10 +28,8 @@
   -ex "add-symbol-file ${PROGRAM}" \
   -ex "add-symbol-file ${MATCHA_OUT}/matcha_platform" \
   -ex "add-symbol-file ${MATCHA_OUT}/matcha_app" \
-  -ex "add-symbol-file ${KATA_OUT}/kernel/kernel.elf" \
-  -ex "add-symbol-file ${KATA_OUT}/capdl-loader" \
-  -ex "add-symbol-file ${KATA_OUT}/debug_console.instance.bin" \
-  -ex "add-symbol-file ${KATA_OUT}/process_manager.instance.bin" \
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}" \
-  -ex "monitor cpu0 IsHalted false"
+  -ex "monitor cpu0 IsHalted false" \
+  -ex "monitor cpu1 CreateseL4" \
+  -ex "source sim/config/gdbscript.py"