Make standalone kernel builds backwards compatible on ARM for the addition of SEL4_ARCH
Make standalone kernel builds backwards compatible on ARM for the addition of SEL4_ARCH

cmr/seL4,zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4