Probe solved: Eu tive o poder de ajustar meu Ubuntu com a dica no link . Mas alguns dos pacotes instalados nessa instrução interferiram na atualização do kernel ou do driver da Intel, e o 3d parou de funcionar. Quando removi os fontes e pacotes do PPA no artigo acima e reiniciei, o 3d funcionou novamente.