rebase rust sel4

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

Author: dreamliner787-9

tool/microkit/Cargo.lock

@@ -16,7 +16,7 @@ path = "src/main.rs"
 
 [dependencies]
 roxmltree = "0.19.0"
-serde = { version = "1.0.203", features = ["derive"] }
+serde = { version = "1.0.228", features = ["derive"] }
 serde_json = "1.0.117"
 postcard = { version = "1.0.2", default-features = false, features = ["alloc"] }
 sel4-capdl-initializer-types = { git = "https://github.com/au-ts/rust-seL4", branch = "capdl_dev", features = ["alloc", "serde", "deflate", "std"] }