O uso do driver gráfico proprietário faz uma grande diferença no desempenho do Linux em comparação ao uso do driver gráfico de código aberto integrado. Em uma de suas perguntas, você mencionou que está executando o Ubuntu. No Ubuntu, execute o seguinte comando do terminal para identificar o driver gráfico proprietário recomendado para instalar:
ubuntu-drivers devices
Depois, você pode instalá-lo com o comando usual sudo apt-get install
.