Installer les entêtes du kernel avec armbian-config

Pour une raison qui m’échappe, l’utilitaire armbian-config installe incorrectement les entêtes du noyau linux.

armbian-config installe systématiquement la dernière version du paquet linux-headers-next-sunxi même si la version du noyau ne correspond pas. Cela n’est pas correct.

$ dpkg -l | grep linux
ii  console-setup-linux               1.164                          all          Linux specific part of console-setup
ii  libselinux1:armhf                 2.6-3+b3                       armhf        SELinux runtime shared libraries
ii  linux-base                        4.5                            all          Linux image base package
hi  linux-dtb-next-sunxi              5.71                           armhf        Linux DTB, version 4.19.13-sunxi
ii  linux-headers-next-sunxi          5.85                           armhf        Linux kernel headers for 4.19.38-sunxi on armhf
hi  linux-image-next-sunxi            5.71                           armhf        Linux kernel, version 4.19.13-sunxi
ii  linux-libc-dev                    5.70                           armhf        Linux support headers for userspace development
hi  linux-stretch-root-next-nanopineo 5.71                           armhf        Armbian tweaks for stretch on nanopineo (next branch)
hi  linux-u-boot-nanopineo-next       5.71                           armhf        Uboot loader 2018.05
ii  util-linux                        2.29.2-1+deb9u1                armhf        miscellaneous system utilities

Comme on peut le voir ci-dessus, la version du paquet linux-image-next-sunxi qui correspond au noyau est 5.70, alors que la version du paquet des entêtes linux-headers-next-sunxi est 5.85 !

Pour lister les versions disponibles d’un paquet, on fait :

# apt-cache madison linux-headers-next-sunxi
linux-headers-next-sunxi |       5.75 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.73 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.70 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.67 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.60 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.41 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.38 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.35 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.32 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.31 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.30 | http://apt.armbian.com stretch/main armhf Packages
linux-headers-next-sunxi |       5.26 | http://apt.armbian.com stretch/main armhf Packages

Puis on force la réinstallation du paquet dans la bonne version :

# apt install linux-headers-next-sunxi=5.70 --reinstall

Enfin, il faut geler la version du paquet :

# apt-mark hold linux-headers-next-sunxi