Has anybody successfully used the USB type-c displayport of the nanopc-t4?   How do you configure it?   It works on the images provided by friendlyelec, so, I guess it is just a config/install issue ?