Updating default.xml

Change-Id: I3e27437772bbf89f877c0e2136027512f2d07ede

default.xml

@@ -20,7 +20,7 @@
   <project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
   <project name="seL4.git" path="kernel" revision="1283345bfd75dbe230bfe692e6e77ee5523cb7ca" upstream="master"/>
   <project name="seL4_libs.git" path="projects/seL4_libs" revision="62f98faf52cce7226faf637490bff6effc8865d9" upstream="master"/>
-  <project name="seL4_tools.git" path="tools/seL4" revision="004911f73ed487962712329e0d3a316fc882def7" upstream="master">
+  <project name="seL4_tools.git" path="tools/seL4" revision="2f3bd00b274c64d1445f028030481e6feb35f170" upstream="master">
     <linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
     <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
   </project>