Somebody else having trouble with the HDMI output from a Rock Pi 4:
maybe more:
https://forum.radxa.com/t/rock-pi-4c-plus-defective