[coreboot-gerrit] Patch merged into coreboot/master: f1bbd4d rockchip: rk3288: add HDMI related iomux configuration

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f1bbd4d6dbedafec8862721b8b0242c89e5b3838
Author: huang lin <hl at rock-chips.com>
Date:   Tue Jun 9 11:14:24 2015 +0800

    rockchip: rk3288: add HDMI related iomux configuration
    
    BUG=none
    BRANCH=none
    TEST=Boot from mickey board
    
    Change-Id: I6eadf52bddcf89011a112a8e5dee5e752556add9
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: e3c865f0bf8567c3183d7948a0f9e8361db70695
    Original-Change-Id: I438527ee0870044f48b23a6842986e7cf166e191
    Original-Signed-off-by: huang lin <hl at rock-chips.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/276290
    Original-Reviewed-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/10477
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Edward O'Callaghan <edward.ocallaghan at koparo.com>


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

-gerrit