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