[coreboot-gerrit] Patch set updated for coreboot: b952351 exynos5420: init APLL at 1800MHz