Re: [U-Boot] [PATCH V3 04/14] Exynos5422/5800: set cpu id to 0x5422