[coreboot-gerrit] Patch set updated for coreboot: 8abb3f6 exynos5420: update set_cpu_id()