arch: make sure Device get thread config from host#2468

FabioLuporini merged 1 commit intomasterdevitocodes/devito:masterfrom

host-threaddevitocodes/devito:host-threadCopy head branch name to clipboard