[U-Boot] Possible bug in U-Boot Exynos clock driver