Eu finalmente descobri como fazer isso funcionar. Todos os problemas estão com o driver gráfico. Se você quiser trabalhar com gráficos Intel (que consomem menos energia), edite o grub e adicione a seção nouveau.modeset=0 to GRUB_CMDLINE_LINUX_DEFAULT . Atualize o grub, reinicie e agora tudo deve funcionar como esperado.