aarch64: Restrict address mappings in loader.rs#464

bruelc wants to merge 1 commit intoseL4:mainseL4/microkit:mainfrom

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