Did the video output of your board work after this fix? I tried installing alternative kernels using armbian-config, but afterward, I had no HDMI signal from either of the two HDMI ports.
Fixing the problem with PCIe/SATA on Rock 5 ITX
I think the -current kernel in Armbian (6.12.31 today) is too old for video output to work.
On the plucky-based “rolling release” image I’m using, -edge is now at 6.15.0, and with that you get video output (up to 4k 30Hz) on one of the HDMI outputs (no audio support yet, or at least I don’t get HDMI output as an audio device I can choose).
See this page for the current state of development of upstream support for rk3588: https://gitlab.collabora.com/hardware-enablement/rockchip-3588/notes-for-rockchip-3588/-/blob/main/mainline-status.md
That doesn’t cover the Radxa Rock 5 ITX board specifically, but most of the improvements get added to the ITX’s device tree shortly after. See “HDMI 4K30 support” being named for 6.15-rc1.
See in-review patchset to support DP (and enable the other HDMI port, which goes through a DP2HDMI bridge, in the Rock 5 ITX board):
Hopefully that makes it to 6.16 to enable the second HDMI port.
4K60 support is marked WIP, so that might take longer…