delete the wrong update

default.xml

@@ -10,7 +10,7 @@
     <default remote="rel4team" revision="mi_dev" upstream="mi_dev" dest-branch="mi_dev"/>
 
     <!-- Base Repository -->
-    <project name="seL4_c_impl.git" path="kernel" revision="mcs-support" upstream="mcs-support" dest-branch="mcs-support"/>
+    <project name="seL4_c_impl.git" path="kernel" />
     <project name="rust-sel4.git" path="rust-sel4" revision="mi_dev_unstable" upstream="mi_dev_unstable" dest-branch="mi_dev_unstable" />
     <project name="rust-root-task-demo-mi-dev.git" path="root-task-demo" />
     <project name="build-scripts.git" path="build-scripts" />
@@ -32,7 +32,7 @@
         <linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
         <linkfile src="cmake-tool/griddle" dest="griddle"/>
     </project>
-    <project name="sel4test.git" path="projects/sel4test" revision="mcs-support" upstream="mcs-support" dest-branch="mcs-support">
+    <project name="sel4test.git" path="projects/sel4test" revision="upstream-mi-dev" upstream="upstream-mi-dev" dest-branch="upstream-mi-dev">
         <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
     </project>
 </manifest>