Fixes for crates/sel4 and crates/sel4-capdl-initializer#278

nspin merged 9 commits into

seL4:mainseL4/rust-sel4:mainfrom

au-ts:capdl-vmattr-fixau-ts/rust-sel4:capdl-vmattr-fixCopy head branch name to clipboard