Secure mode seL4 builds for ARM

This is a relevant pre-RFC: Pre-RFC: TrustZone support on AArch64