arch: prevent erroring at init in isolation#2815

mloubout wants to merge 3 commits intomaindevitocodes/devito:mainfrom

patch-init-nocudadevitocodes/devito:patch-init-nocudaCopy head branch name to clipboard