[coreboot-gerrit] Patch merged into coreboot/master: 568a2b0 exynos5420: add a peripheral clock select --> PLL decoder