[Linaro-mm-sig] [PATCH] ARM: Exynos4: integrate SYSMMU driver with DMA-mapping interface