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