cmake: group arch specific handling#162

axel-h wants to merge 1 commit intoseL4:masterseL4/seL4_tools:masterfrom

axel-h:patch-axel-11axel-h/seL4_tools:patch-axel-11Copy head branch name to clipboard