- create a folder
/boot/overlay-user/ - copy the dtbo file there
- create line:
user_overlays=rk3588-add-hdptxphy_hdmi_clkin armbianEnv.txt
note I I just wrote it from the top of my head, as I had to RMA my board.
The confusing thing here is the inconsistent nomenclature: overlay-user != user_overlays