Eu escrevi este script:
xrandr --newmode 1600x1200_60.00 161.00 1600 1712 1880 2160 1200 1203 1207 1245 -hsync +vsync
xrandr --addmode VGA1 1600x1200_60.00
xrandr --output VGA1 --mode 1600x1200_60.00
e, em seguida, adicionei-o aos aplicativos de inicialização. Funciona!