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