[coreboot-gerrit] Patch merged into coreboot/master: rk3288: Fix & vs && mix up in hdmi driver

the following patch was just integrated into master:
commit a3f1a2e2bf4f749b9eb7cb5108ce76b7c1c2247b
Author: Stefan Reinauer 
Date:   Wed Jul 8 23:31:46 2015 +0200

rk3288: Fix & vs && mix up in hdmi driver

Change-Id: I54650671adaef3bc129c662d6e972474c869afaa
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/10859
    Reviewed-by: Patrick Georgi 
    Tested-by: build bot (Jenkins)

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

-gerrit