[coreboot-gerrit] Patch set updated for coreboot: 60975a7 exynos5250: get xres and yres out of the device tree and into the panel descriptor