Re: [PATCH] drm/nouveau/platform: fix compilation if !CONFIG_IOMMU