Update rust-sel4 to 33cb132

Branch: microkit-2.2.0-dev

Fixes 2 issues:
- Fixed compile error in rust-sel4 when 1GB huge page support is
disabled in the kernel. In some environments such as cloud VMs or older
machines this won't be available.

- Fixed seL4/rust-sel4#319

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>

Author: dreamliner787-9

Cargo.lock

@@ -13,11 +13,11 @@ members = [
 
 [workspace.dependencies.sel4-capdl-initializer]
 git = "https://github.com/au-ts/rust-sel4"
-rev = "9102a134c2b5925d17e021280a3d104e79805221"
+rev = "33cb132571121a8d846ad3be9066617087ee5c32"
 
 [workspace.dependencies.sel4-capdl-initializer-types]
 git = "https://github.com/au-ts/rust-sel4"
-rev = "9102a134c2b5925d17e021280a3d104e79805221"
+rev = "33cb132571121a8d846ad3be9066617087ee5c32"
 
 [profile.release.package.microkit-tool]
 strip = true