Na verdade, tinha algo a ver com a atualização do kernel, após o qual meus drivers ATI pararam de funcionar (eu não percebi isso). Eu não sei exatamente porque diminuiu tanto, mas suponho que tenha algo a ver com esses drivers. Agora eu reinstalei o sistema, então acho que nunca saberemos, mas se alguém tiver problemas semelhantes, verifique se os drivers gráficos funcionam corretamente após a atualização do kernel.