[coreboot-gerrit] Patch merged into coreboot/master: rockchip/rk3288: hdmi: configure display output mode with EDID information

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit e78a1bedc52b3c63f3c674202d6806ef065923ee
Author: Yakir Yang <ykk at rock-chips.com>
Date:   Tue Oct 27 16:40:08 2015 +0800

    rockchip/rk3288: hdmi: configure display output mode with EDID information
    
    'edid->hdmi_monitor_detected' would indicate whether the monitor
    interface is HDMI or DVI.
    
    BRANCH=none
    BUG=chrome-os-partner:43789
    TEST=Previously, my LG monitor couldn't show dev screen. But now I can see
         dev screen have been posted normally.
    
    Change-Id: Id71f051b2cd792712e52bee7a763db383c1962a8
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: 88101589a22d06f0bc25e0750b2862cf66b55391
    Original-Change-Id: I157861d327926b834e1e8606b0b676f413491c70
    Original-Signed-off-by: Yakir Yang <ykk at rock-chips.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/309056
    Original-Tested-by: David Hendricks <dhendrix at chromium.org>
    Original-Reviewed-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/12346
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/12346 for details.

-gerrit