Aggiornandoti Debian ti ha aggiornato anche il kernel, puoi lasciarlo tranquillamente che problemi non ne crea ( al limite puoi usarlo se l'altro ha dei probllemi) comunque se sei curioso dai un occhiata in /boot per vedere i kernel (vmlinuz) che ci sono