[coreboot-gerrit] Patch set updated for coreboot: rk3288: Ignore EDID errors for HDMI