Petit retour pour ceux que ça pourrait intéresser/concerner :
- le Gmktec G10 est compatible avec une utilisation très limitée du CEC via HDMI ( allumer et éteindre uniquement). Changer de câble ne sert à rien !
- le Gmktec G10 est entièrement compatible avec Displayport auxiliary data channel, (équivalant du CEC, mais pour le DP)
- les câbles dit « actif » ne convertissent, pour la majorité, par le signal « DP Aux » en « HDMI CEC », même si la boite indique le contraire…
un article sur le sujet : 4. HDMI CEC — The Linux Kernel documentation
Et au point 4.3, une liste des adaptateurs réputés compatibles. La liste est relativement ancienne, et les modèles difficiles à se procurer…
Pour ma part, le modèle Club3D CAC-1080 a résolu mon problème.