Re: [PATCH 6/6] arm: exynos4: Add a new Exynos4 device tree enabled machine