Rodando
uname -r
em um terminal dá uma saída dizendo 3.13.0-37-generic , mas eu estou tentando atualizar o kernel para 3.16, e de fato eu corri
sudo aptitude safe-upgrade
que instalou linux-headers-3.16.0-34 (3.16.0-34.45), mas executar uname -r não mostra isso. Estou fazendo tudo isso porque me parece que o dbox virtualbox não consegue encontrar uma fonte de kernel para o 3.13.
uname -r informa o kernel em execução . Mudar para o kernel recém-instalado não acontece em tempo real.
O kernel mais novo será inicializado por padrão, então, após a reinicialização do sistema normalmente, uname -r retornará v3.16.0-34-generic .