Создайте xorg.conf вручную. Скопируйте xorg.conf из шага 3 моего сообщения и настройте правильный BusID (используя lspci | grep VGA, также отмеченный в моем сообщении на шаге 3). Я тоже обсуждал это в reddit post.
Удачи !!!