Я переназначаю старую 32-битную машину. После установки Debian у меня есть следующие записи GRUb:
Linux 3.2.0-4-486
Linux 3.2.0-4-686
Мне не нужно ядро i486.
Я удаляю ядро i486 вручную, а затем запускаю grub2-mkconfig -o ...
Но я подозреваю, что это не "чистое" удаление, и оно может появиться в будущем после обновления.
Есть ли способ "чисто" удалить ядро 3.2.0-4-486?