loader: fix mismatched type for inline assembly#489

Ivan-Velickovic merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:kurt/asm-typeau-ts/microkit:kurt/asm-typeCopy head branch name to clipboard