Port muslc to seL4 build system and environment. Defines custom 'seL4' architectures for ARM and i386