Il y a plusieurs versions de kernel dans la vie de chaque version de Debian.

En plus, non seulement il y a une version de kernel headers par version de kernel, mais en plus il y a une version différente par architecture.

Par conséquent, quand je veux installer les headers du kernel en cours, le plus simple est d'utiliser la commande suivante :

apt search linux-headers-$(uname -r)

ou, plus radicalement :

apt-get -y install linux-headers-$(uname -r)