[coreboot-gerrit] New patch to review for coreboot: rockchip/rk3288: add support for hdmi display