Eu resolvi o problema. Aparentemente, foi um problema de driver. Eu executei
sudo apt-get install --reinstall xserver-xorg-video-intel libgl1-mesa-glx libgl1-mesa-dri xserver-xorg-core
sudo dpkg-reconfigure xserver-xorg
com o cabo VGA conectado.