HDMI support for rockchip SBC

[Stefan Monnier]

> Support for the rk35xx isn't upstream yet,

Ah... I didn't notice any weird failure or warnings during the build so
I naively assumed it was working.

> this patch series is likely a good start:
> https://lists.denx.de/pipermail/u-boot/2025-June/591737.html

Thanks.

Is there a place that tracks the state of feature-support, like

    https://linux-sunxi.org/Mainline_U-Boot

?


        Stefan