Atualizei o Ubuntu para 12.04, todos os pacotes. Mas, depois disso, encontrei muitos problemas, então decidi fazer o downgrade para a 11.10. Depois que fiz isso, descobri que agora tenho dois kernels: 3.2.xe 3.0.x. Encontrei muitas explicações sobre como remover kernels antigos, mas não faço ideia...