A causa mais simples é geralmente a mais fácil - o pacote confuso de cabos nesta mesa quente, uma vez desembaraçada, revelou que o cabo DisplayPort não estava conectado.
Agora, quando conectado, o kern.log me diz:
Nov 19 14:36:02 GTA-65 kernel: [17099.717660] [drm] Reducing the compressed framebuffer size. This may lead to less power savings than a non-reduced-size. Try to increase stolen memory size if available in BIOS.
Então o kernel Linux 4.19 suporta o modo alternativo para USB-C para Display Port