[coreboot-gerrit] Patch merged into coreboot/master: d83c117 exynos5250: get xres and yres out of the device tree and into the panel descriptor