[U-Boot] [PATCH V4 00/12] Exynos4: add support for device tree