kgdb: update DebugNameThread syscallid for new syscalls

Change-Id: Ib713473deaab418b5da7cc9ae3d15d9b4a8388a9

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 39a95f1..6f0ab4e 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -34,6 +34,6 @@
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}" \
   -ex "monitor cpu0 IsHalted false" \
-  -ex "monitor cpu1 CreateSeL4 0xffffffef" \
+  -ex "monitor cpu1 CreateSeL4 0xffffffee" \
   -ex "source sim/renode/tools/sel4_extensions/gdbscript.py" \
   -ex "sel4 symbol-autoswitching false"