[coreboot-gerrit] Patch merged into coreboot/master: 71e1c83 Exynos 5420: skip the EDID read if there is already an EDID.