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