Well you can double-check that those files don't belong to an installed package, and it's probably smart to do so. Run this command in a Terminal:
Code:
dpkg-query -S /boot/*3.11*
For files that are *not* part of an installed package, it will output along these lines:
Code:
dpkg-query: no path found matching pattern <path>
Also double-check that you're not running under a 3.11 kernel:
If all that turns out like expected, you can start removing these leftover files from /boot. (I would recommend you move them elsewhere instead of deleting them, so that you can put them back in case something goes wrong.)
When all those files are no longer present in /boot, be sure to run
And then reboot the computer to check that it worked.
Hope this helps.
Bookmarks