[coreboot] Patch set updated for coreboot: 7511d87 samsung/exynos5: add display port and framebuffer defines and initialization