[coreboot-gerrit] Patch set updated for coreboot: 5748e64 samsung/exynos5: add resource functions for the display port