I have a standard Ubuntu 12.04 (32bit PAE) installed. At one time I used xorg-edgers PPA (I wanted to see how far nouveau has gotten) which also provided a linux kernel 188.8.131.52.
Since edge xorg made my system unstable I used ppa-purge to downgrade packages to stable which also uninstalled kernel 184.108.40.206, but the removal process didn't remove 3.5 images in /boot, which has caused warnings during package operations when a package would trigger
FATAL: Could not load /lib/modules/3.5.0-4-generic/modules.dep: No such file or directory
Deleting 3.5 images in /boot made the warnings go away, but after today's update they are back again. None of the 3.5 deb packages are installed but somehow my system remembers that it had a 3.5 kernel at one time. I'm wondering where this info is stored and how can I remove it.