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