Ainda no lado do questionamento ... Eu atualizei para 3.13.0-48-generic em várias das minhas máquinas, mas tenho uma que uname -r reporta 3.13.0.46. Quando eu revisei com o Synaptic, ele mostra '48', mas o terminal ainda mostra '46 '. Eu estou confortável que 48 está funcionando, mas a minha confiança no terminal foi amassada. GB