aarch64: Restrict address mappings in loader.rs#464

Ivan-Velickovic merged 3 commits into

seL4:mainseL4/microkit:mainfrom

bruelc:master-mmuloaderbruelc/microkit-stm32mp2:master-mmuloaderCopy head branch name to clipboard