OK, I'm sending you the files so they won't waste BTS space. BTW, one notes .old-dkms files are not cleaned up after their kernels are gone...
/boot: total used in directory 93928 available 380367280 drwxr-xr-x 3 root 4096 07-11 14:58 . drwxr-xr-x 22 root 4096 06-04 09:35 .. -rw-r--r-- 1 root 1792376 05-16 23:01 System.map-3.8-2-686-pae -rw-r--r-- 1 root 1818498 06-30 13:49 System.map-3.9-1-686-pae -rw-r--r-- 1 root 144192 05-16 23:01 config-3.8-2-686-pae -rw-r--r-- 1 root 149996 06-30 13:49 config-3.9-1-686-pae drwxr-xr-x 5 root 12288 07-03 21:48 grub -rw-r--r-- 1 root 14752229 05-11 02:28 initrd.img-3.2.0-4-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 14572561 05-28 16:29 initrd.img-3.8-2-686-pae -rw-r--r-- 1 root 14572561 06-08 07:42 initrd.img-3.8-2-686-pae.old-dkms -rw-r--r-- 1 root 14385235 07-11 14:58 initrd.img-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 2288848 05-16 23:00 vmlinuz-3.8-2-686-pae -rw-r--r-- 1 root 2312816 06-30 13:46 vmlinuz-3.9-1-686-pae -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
