Em resposta ao Dirty COW, instalei o kernel 4.4.0-45 como descrito na resposta a esta pergunta.
Saída de dpkg -l | grep '4\.4\.0-45'
ii linux-headers-4.4.0-45 4.4.0-45.66 all Header files related to Linux kernel version 4.4.0
ii linux-headers-4.4.0-45-generic 4.4.0-45.66 amd64 Linux kernel headers for version 4.4.0 on 64 bit x86 SMP
ii linux-image-4.4.0-45-generic 4.4.0-45.66 amd64 Linux kernel image for version 4.4.0 on 64 bit x86 SMP
ii linux-image-extra-4.4.0-45-generic 4.4.0-45.66 amd64 Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
ii linux-libc-dev:amd64 4.4.0-45.66 amd64 Linux Kernel Headers for development
mostra claramente que está instalado e o update-grub
detecta
Generating grub configuration file ...
Found linux image: /boot/vmlinuz-4.4.0-45-generic
Found initrd image: /boot/initrd.img-4.4.0-45-generic
Found memtest86+ image: /memtest86+.elf
Found memtest86+ image: /memtest86+.bin
done
mas mesmo depois de reiniciar a máquina pela enésima vez, uname -r
ainda me dá
4.2.0-38-generic
Quero saber qual etapa perdi que impede o sistema de inicializar o novo kernel.
GRUB_DEFAULT='gnulinux-advanced-f0724a95-d885-4cec-b74c-635d61f32c73>gnulinux-4.4.0-45-generic-advanced-f0724a95-d885-4cec-b74c-635d61f32c73'
(o nome coletado do arquivo de configuração do grub, ele ainda será inicializado no kernel antigo.