[coreboot-gerrit] Patch set updated for coreboot: f1fa87b exynos5420: add a peripheral clock select --> PLL decoder