Eu tive o mesmo problema, encontrei uma solução alternativa aqui: link .
xrandr --output LVDS1 --auto --left-of HDMI1 --output HDMI1 --auto --scale 1.0001x1.0001
(ajuste as saídas de acordo) O importante é mudar a escala da sua saída. Bate-me porque isso funciona, espero que eles consigam uma solução adequada.