[coreboot-gerrit] Patch set updated for coreboot: 85ea7db exynos5420: update set_cpu_id()