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