[coreboot] Patch merged into coreboot/master: 6bde149 samsung/exynos5: add display port and framebuffer defines and initialization