[Pkg-dkms-maint] Bug#717584: /boot/initrd.img-*.old-dkms files left behind

[jidanni at jidanni.org]

Package: dkms
Version: 2.2.0.3-1.2

One notices *.old-dkms files being left behind still sitting on the disk after purging the related kernel.
  /boot:
  drwxr-xr-x  5 root    12288 07-23 00:34 grub
  drwxr-xr-x  3 root     4096 07-23 00:34 .
  -rw-r--r--  1 root 14576851 07-22 06:21 initrd.img-3.10-1-686-pae
  drwxr-xr-x 22 root     4096 07-20 19:33 ..
  -rw-r--r--  1 root  1860013 07-16 21:19 System.map-3.10-1-686-pae
  -rw-r--r--  1 root   151212 07-16 21:19 config-3.10-1-686-pae
  -rw-r--r--  1 root  2352336 07-16 21:17 vmlinuz-3.10-1-686-pae
  -rw-r--r--  1 root 14385159 07-16 00:23 initrd.img-3.9-1-686-pae
  -rw-r--r--  1 root  1818498 06-30 13:49 System.map-3.9-1-686-pae
  -rw-r--r--  1 root   149996 06-30 13:49 config-3.9-1-686-pae
  -rw-r--r--  1 root  2312816 06-30 13:46 vmlinuz-3.9-1-686-pae
  -rw-r--r--  1 root 14778358 06-08 07:43 initrd.img-3.9-1-686-pae.old-dkms
  -rw-r--r--  1 root 14572561 06-08 07:42 initrd.img-3.8-2-686-pae.old-dkms
  -rw-r--r--  1 root 14574327 06-08 07:42 initrd.img-3.8-1-686-pae.old-dkms
  -rw-r--r--  1 root 14752229 05-11 02:28 initrd.img-3.2.0-4-686-pae.old-dkms