Re: [U-Boot] [PATCH 1/2] exynos: Correct use of 64-bit division