[coreboot-gerrit] Patch merged into coreboot/master: bc6cc11 Exynos5420: tighten up display port delays