@wealas
In software HDMI-CEC is enabled on both ports.
Not sure why it’s not working yet.
Rock5B emmc/sdcard firmware.
The 4K HEVC issue seems solved now.
https://nch.pl/s/Bb5s3YEZSYTmPep
See OP for same password.
Another user mentioned Kodi shows 1080p
Can try above firmware, it is 4K, might have display issues on 1080p only screens.