[coreboot-gerrit] Patch merged into coreboot/master: aee444f exynos5250: ungate the product ID register