build_sdk.py: remove --branch for initialiser

--branch seems to override what we have in --rev which is wrong.
Just use --rev instead since we want to pin to a specific commit.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>

Author: Ivan-Velickovic

build_sdk.py

@@ -768,7 +768,7 @@ def build_initialiser(
             cargo install {cargo_cross_options} \
             --target {cargo_target} \
             --locked \
-            --git https://github.com/au-ts/rust-seL4 --branch capdl_dev sel4-capdl-initializer --rev 0186e53991b48118b39d9a048c526baabdf6f5d4 \
+            --git https://github.com/au-ts/rust-seL4 sel4-capdl-initializer --rev 0186e53991b48118b39d9a048c526baabdf6f5d4 \
             --target-dir {rust_target_dir} \
             --root {component_build_dir}
         """