scripts: load sel4 extensions in kgdb.sh
scripts: load sel4 extensions in kgdb.sh

Change-Id: I84a4161ddcaf0e036eb6b9ff4664a78d7dc0c279
GitOrigin-RevId: b5af5a8c78135e72e59571a8cbcd38c86ba499b7

AmbiML/sparrow-scripts-full,AmbiML/sparrow-scripts-full