[coreboot-gerrit] New patch to review for coreboot: 38549d2 exynos5420: Set the CLK_DIV_CPERI1 value as per manual