В Debian ядро принято перед установкой заворачивать в пакет (man make-kpkg), чтоб потом удалить из системы обычными средствами. Кто этого не делает (вариант: пользуется дистрами, не дающими такой возможности) - сам себе буратино.
2 anonymous: в /usr/lib , мальчик мой , лежат модули ... если человек хочет полностью удалить ядрышко , то удалить эти модули , думаю , будет правильным ...