[coreboot-gerrit] Patch set updated for coreboot: c31eb36 exynos5420: Set SPLL to 400MHz