kgdb.sh: track removal of the sel4debug component

Change-Id: Ic78cd322fc2556d0e5d9e6758ff127e22393713b

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index a7a4384..8181b08 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -30,6 +30,5 @@
   -ex "add-symbol-file out/kata/capdl-loader" \
   -ex "add-symbol-file out/kata/debug_console.instance.bin" \
   -ex "add-symbol-file out/kata/process_manager.instance.bin" \
-  -ex "add-symbol-file out/kata/sel4debug.instance.bin" \
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}"