O Debian 9 usa a versão 4.9.0-3-amd64
do kernel, então eu não acho que você vai ter problemas quando você reiniciar. No entanto, se você fizer isso.
- Remova os kernels antigos de
/boot/
-
update-initramfs -c -v
Agora você irá inicializar no Debian 9 com a versão do kernel de 4.9.0-3-amd64
.