Коллеги, работает сейчас оно так:
есть список дескрипторов модулей Kernel.modList, в нём находятся как загруженные, так и выгруженные модули. Т.е. он только "раздувается". Перезагрузили 100 раз модуль - будет для него 100 дескрипторов. Отличить дескрипторы выгруженных модулей можно по счётчику ссылок импорта от других модулей ref < 0.
Для выгружаемого модуля уничтожаются секции кода и глобальных переменных (code и data). Блок метаинформации остаётся, как есть.