What all needs to be done to support RK3588 on the mainline linux kernel along with drivers like for HDMI? I see some efforts here https://gitlab.collabora.com/hardware-enablement/rockchip-3588/linux/-/commits/rk3588 and over feature/hardware status here https://gitlab.collabora.com/hardware-enablem...