A situação mais provável é que a saída de vídeo que não está funcionando esteja conectada diretamente à placa gráfica discreta. A solução para isso não foi totalmente implementada no Linux no momento em que este texto foi escrito (2013-03-19), mas está em andamento: ele é chamado reverse-PRIME .