loader: add ISB around system register writes#410

Ivan-Velickovic merged 1 commit intoseL4:mainseL4/microkit:mainfrom

au-ts:julia/isbau-ts/microkit:julia/isbCopy head branch name to clipboard