Updating default.xml

Change-Id: If1416c501b955c706db4f18d2a72e763d92efcab

default.xml

@@ -24,6 +24,6 @@
     <linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
     <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
   </project>
-  <project name="sel4test.git" path="projects/sel4test" revision="bf363086f655178755ed87ae0ae2481b0e09400e" upstream="master"/>
+  <project name="sel4test.git" path="projects/sel4test" revision="13a6ca56488d84552677f0da632e35bbbe5b07fd" upstream="master"/>
   <project name="util_libs.git" path="projects/util_libs" revision="89a89e9612881b7d09eed7f55c97c51642b88e5d" upstream="master"/>
 </manifest>