Respuestas:
Hasta hace poco, no. Enlace de referencia: https://www.raspberrypi.org/forums/viewtopic.php?f=105&t=111021
Además, libcec
el autor está trabajando en ello, pero no hay ETA. Aquí está el problema de Github . Verifica los últimos mensajes.
Puede aprovechar su suerte exponiendo los cables CEC en un cable HDMI y luego golpeándolo con su puerto GPIO. Pin 13 si no me equivoco, cable rojo envuelto en papel de aluminio junto con blanco. Esa sugerencia podría ser demasiado extrema.
Podrías hacerlo por la ciencia.