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