00efbc2cb5
This requires using the external gas-preprocessor tool that converts the gnu assembler format sources to armasm format at build time. This allows keeping the source files in one single format but only converting while building.