linux-headers manquant

Le 24 juin j'ai mis mon système à jour. En me fiant sur les nouvelles du projet, il s'agit de Debian 8.1.

uname -a
Linux debian 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt11-1 (2015-05-24) x86_64 GNU/Linux
 

La mise à jour a installé le noyau 3.16-3

guy@debian:~$ ls /boot
config-3.16.0-4-amd64      initrd.img-3.16-3-amd64    vmlinuz-3.16.0-4-amd64
config-3.16-3-amd64        lost+found                 vmlinuz-3.16-3-amd64
grub                       System.map-3.16.0-4-amd64
initrd.img-3.16.0-4-amd64  System.map-3.16-3-amd64
 

Si je lance le système sur le noyau 3.16-3, je ne peux utiliser Vbox. Il n'y a pas de linux-headers associés à cette version. Est-ce une situation normale en stable ?

guy@debian:~$ aptitude search linux-headers-*
p   linux-headers-3.16.0-4-586:i386 - Header files for Linux 3.16.0-4-586      
p   linux-headers-3.16.0-4-686-pae: - Header files for Linux 3.16.0-4-686-pae  
p   linux-headers-3.16.0-4-all      - All header files for Linux 3.16 (meta-pack
p   linux-headers-3.16.0-4-all:i386 - All header files for Linux 3.16 (meta-pack
p   linux-headers-3.16.0-4-all-amd6 - All header files for Linux 3.16 (meta-pack
p   linux-headers-3.16.0-4-all-i386 - All header files for Linux 3.16 (meta-pack
i A linux-headers-3.16.0-4-amd64    - Header files for Linux 3.16.0-4-amd64    
p   linux-headers-3.16.0-4-amd64:i3 - Header files for Linux 3.16.0-4-amd64    
i A linux-headers-3.16.0-4-common   - Common header files for Linux 3.16.0-4    
p   linux-headers-3.16.0-4-common:i - Common header files for Linux 3.16.0-4    
p   linux-headers-486:i386          - Header files for Linux 486 configuration (
p   linux-headers-586:i386          - Header files for Linux 586 configuration (
p   linux-headers-686-pae:i386      - Header files for Linux 686-pae configurati
i A linux-headers-amd64             - Header files for Linux amd64 configuration
p   linux-headers-amd64:i386        - Header files for Linux amd64 configuration
 

linux-headers manquant