Re: [RFC 0/6] Exynos5: Update devicetree files from linux kernel