como eu tenho certeza que você já percebeu, fazer o HDMI funcionar em um laptop Optimus usando GNU / Linux não é trivial, para dizer o mínimo :) existe uma solução de 95% decente, você pode ler sobre isso aqui:
eu comprei um laptop otimizado para o otimus (sem configuração não-otimizada. disponível para a especificação. Eu estava olhando), pensando estupidamente "bem, vou desativar o otimus, e tudo ficará bem!" gostaria de não ter ...