Fix up i386_sel4 arch after merge
Port muslc to seL4 build system and environment. Defines custom 'seL4' architectures for ARM and i386
preparing build system to handle ports - step 1