arch: Support more platforms#2415

mloubout merged 2 commits intomasterdevitocodes/devito:masterfrom

gravitondevitocodes/devito:gravitonCopy head branch name to clipboard