Eu segui os passos exatos deaquie instalei o MPTCP Kernel no Ubuntu 14.04 em um sistema. Tive que reinstalar o Ubuntu por alguns motivos, a mesma versão 14.04 e agora quando sigo os passos não consigo instalar o kernel, ou seja, mesmo após a reinicialização, uname -r mostra a versão 3.16 do kernel e não o kernel mptcp.
Será que o kernel usado pelo Ubuntu 14.04 mudou? Ou poderia haver outras causas possíveis porque as etapas vinculadas funcionaram inteiramente na vez anterior.
Responder1
O Grub sempre inicializa com o kernel mais recente por padrão.
O Ubuntu 14.04 tinha o kernel 3.13, você instalou o kernel 3.14 e os sistemas inicializaram com o 3.14.
Ubuntu 14.04.2 possui kernel 3.16. Isso é superior a 3.14 e o sistema inicializa com 3.16.
Você pode ir para o menu de inicialização pressionando Shiftna inicialização e inicializar com o kernel desejado.
Para tornar isso permanente, você pode remover a imagem e os cabeçalhos padrão dos kernels do Ubuntu usando synaptice também remover meta pacotes linux-image-generic-lts-utopice linux-headers-generic-lts-utopic.
Você sempre inicializará com o kernel personalizado.