jock, it seems DRM Uboot driver appeared:
I'm testing tinkerboard android 8.1 firmware, the hdmi screen turns on at the loading stage of Uboot. I use the miniarm device tree.
Also, look at the following nodes in the device tree (found from miniarm dtb for android):
From dmesg: