sim:config: use old SyscallId for seL4_DebugNameThread

Change-Id: Ie692ff2c2a061a2a7bb96b09cf5fbabb9f37041b

kgdb.sh

diff --git a/kgdb.sh b/kgdb.sh
index 0683146..47af2c0 100755
--- a/kgdb.sh
+++ b/kgdb.sh
@@ -34,5 +34,5 @@
   -ex "set pagination on" \
   -ex "target remote ${REMOTE}" \
   -ex "monitor cpu0 IsHalted false" \
-  -ex "monitor cpu1 CreateSeL4" \
+  -ex "monitor cpu1 CreateSeL4 0xffffffef" \
   -ex "source sim/renode/tools/sel4_extensions/gdbscript.py"