[coreboot] Patch merged into coreboot/master: 6aaf856 exynos5250: Move the ID section again