loader,smp: Enable caches on all cores for shareability#465

bruelc wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

bruelc:master-cpusyncbruelc/microkit-stm32mp2:master-cpusyncCopy head branch name to clipboard