rockchip/rk3288: add support for hdmi display

this is an brief hdmi driver which config with simple
display parameter, const encoder input & output color
format and 8bit color depth, and only 48KHz audio support.

what's more to prevent TV have not show an right things
before coreboot switch to kernel space, we have to add
an terrible 2s delay to driver (2s come from test many
times), cause we have to wait TV to respond (we got no
flag to check whether it is ready).

TEST=Booted Veyron Jerry and display normal

Change-Id: Icd33467e95de6219e1b614616f0112afc52097b6
Signed-off-by: Patrick Georgi <>
Original-Commit-Id: 7e5b699aff75a579116aae63d858c834b2f648e8
Original-Change-Id: Iedc87c011c5b62ce5f16a296dd9c3e0c2eaba59b
Original-Signed-off-by: Yakir Yang <>
Original-Reviewed-by: Daniel Kurtz <>
Original-Commit-Queue: Lin Huang <>
Original-Tested-by: Lin Huang <>
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <>
9 files changed