Re: [U-Boot] [PATCH 3/7] Exynos5422/5800: set cpu id to 0x5422