[coreboot-gerrit] Patch set updated for coreboot: rockchip/rk3288: hdmi: configure display output mode with EDID information