[Pkg-dkms-maint] Bug#755942: dkms fails to recognize linux-headers-486; dkms fails to build 486 modules for virtualbox-guest-dkms

[Parke]

Package: dkms
Version: 2.2.0.3-1.2

I believe dkms's dependency on linux-headers-* should be satisfied by
linux-headers-486.

Also, dkms fails to build 486 kernel modules for virtualbox-guest-dkms
(version 4.3.12-dfsg-1) when linux-headers-486 is already installed.

Steps to reproduce.

1) Install i386 Jessie in a VirtualBox VM using
debian-jessie-DI-a1-i386-netinst.iso.  (Installing i386 Wheezy in the
VM would probably also work, as we will promptly dist-upgrade to sid.)

By default, VirtualBox (version 4.3.10-dfsg-1 on an Ubuntu 14.04 host)
does not enable PAE for 32 bit Debian guests.

Jessie installs with an i486 kernel.

2) edit /etc/apt/sources.list to point to sid

3) apt-get update

4) apt-get dist-upgrade

5) reboot

6) apt-get install virtualbox-guest-dkms

This will install linux-headers-686-pae, even though the VM is running
an i486 kernel.
The 686-pae headers will be installed even if linux-headers-486 is
already installed.

Also, the virtualbox guest kernel modules will be built ONLY for
686-pae.  This is true even if linux-headers-486 is already installed.

(Aside: Ideally IMO, installing dkms would install kernel headers that
matched a running or installed kernel, or at least matched the
architecture of a running or installed kernel.)

5) apt-get install linux-headers-486

Installing the 486 headers AFTER virtualbox-guest-dkms will cause the
486 kernel modules to be built.  (As per the above, the 486 modules
will NOT be built if the 486 headers are installed FIRST.)

Parts of the above could be due to bugs in virtualbox-guest-dkms.  I
am not an expert on how dkms is supposed to work.

Thanks!