July 22, 2015
9:53 p.m.
Doesn't help you at the moment, but in the future if you build the kernels (and headers etc) as .deb packages (e.g. via 'make-kpkg') and install them with 'dpkg -i', you can later uninstall them with a single invocation of 'dpkg -r'. Henry