Re: [opensuse-kernel] [PATCH 1/1] config: armv7hl: Disable Exynos IOMMU