[coreboot-gerrit] Patch set updated for coreboot: 712bd8c samsung/exynos5: add resource functions for the display port (2nd try)