USB-C CC pins are pulled to the GND by AW3512 (VCONN switches) when VCONN is off

[Subsentient]

Thank you very much for your helpful answers. It seems like a noticeable, albeit minor bug for those expecting desktop and phone convergence. I wonder if Pine64 are going to fix this issue in the postmarketOS edition. Not clear from the last announcement:
"As for the hardware, we will be making an announcement closer to date; presently we are working on the assumption that the PCB to ship with this edition will still be version 1.2. We may, however, decide to make some further tweaks to this PCB design."

Honestly don't remember if it was DisplayPort or HDMI that bugged out, but either way, you still will have one of those video interfaces you can use with USB OTG. Convergence should still be possible, even with the hardware mod. And without the mod, you can still do it, but will need an icon on your screen or something to toggle USB modes. I also hope PINE64 will release a 1.3 revision of the board that fixes this.