[coreboot-gerrit] New patch to review for coreboot: 3c94e97 Exynos 5420: skip the EDID read if there is already an EDID.