Respondendo a minha própria pergunta, recebi a informação de um cara que é dono deste laptop:
As long as you do not boot up with the HDMI connected it works. Boot up, log in then connect HDMI and everything works. I've been using it for a while.
A conexão de um monitor externo ao laptop Samsung Série 7 Chronos via porta HDMI funciona no Ubuntu?
Todos os notebooks Samsung Série 7 usam um GPU da série ATI Radeon HD 6xxx. Os drivers para estes são suportados no Linux, e você não deve ter problemas com a execução de segundo monitor a partir dele. As placas também são suportadas pelo código aberto xserver-xorg-video-ati
Alguns destes são gráficos híbridos, pelo que pode alternar entre o integrado e o dedicado. Os gráficos da Intel não devem fornecer problemas.