Re: [PATCH 0/3] Various devicetree fixes for Exynos7870 devices