Patch merged into coreboot/master: rk3288: Set HDMI display mode to 480p

the following patch was just integrated into master:
commit 9a640597e698af45558be8bb7aaab6c3b6f28d39
Author: Yakir Yang 
Date:   Wed Jul 29 08:54:14 2015 -0500

rk3288: Set HDMI display mode to 480p

If an HDMI display is detected (EDID can be read), set the
    display mode to 480p. If for some reason 480p is not supported
    then we'll fall back to the automatically detected display mode.

BUG=chrome-os-partner:42946
    BRANCH=firmware-veyron
    TEST=dev mode screen shows up on Mickey at 480p resolution

Change-Id: I2c431eff6673392d3c09e1b66c66ba12ecc6eeb0
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 76203a683c4501f368c50fe24101f68746ddb7f0
    Original-Change-Id: I90dea37daa2d78628230d7d47f7ef0e917cbd7bb
    Original-Signed-off-by: David Hendricks 
    Original-Reviewed-on: https://chromium-review.googlesource.com/290554
    Original-Reviewed-by: Julius Werner 
    Reviewed-on: http://review.coreboot.org/11392
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit