só pra confirmar... para remover um kernel é só no /boot/... remover os arquivos referentes a ele e remover os modulos do /lib/modules/<versao> e ajustar o grub/menu.lst seria só isso?
nao dá problema depois ou existe um comando pra remover? abraço --------------- Fábio