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