[coreboot-gerrit] Patch set updated for coreboot: 9cd5ebe exynos5250: ungate the product ID register