Dnf install kernel не устанавливает ядро в /boot

У меня такая же проблема, как описано на https://ask.fedoraproject.org/en/question/73766/fedora-22-not-using-newer-kernal-after-dnf-update/
ПРИМЕЧАНИЕ: ответы на этот пост не отвечают на вопрос автора, который я переформулирую следующим образом:

Когда я пытаюсь обновить ядро до более новой версии, т.е. с 4.5.5-300.fc24.x86_64 на 4.8.15-200.fc24.x86_64, установка проходит успешно, но файл vmlinuz-4.8.15-200.fc24.x86_64 не появляется в /boot. Обратите внимание, что в /lib/modules есть модули 4.8.15-200.fc24.x86_64, но ядро не копируется в /boot. Я также пробовал:

dnf -y reinstall kernel-4.8.15-200.fc24

с следующим выводом:

Последняя проверка метаданных: 0:13:30 назад в Вск  1 Янв  14:39:27 2017.
Зависимости решены.
================================================================================
 Пакет        Архитектура     Версия                    Репозиторий       Размер
================================================================================
Переустановка:
 kernel         x86_64         4.8.15-200.fc24            updates          76 k

Сводка транзакции
================================================================================

Общий размер загрузки: 76 k
Загрузка пакетов:
kernel-4.8.15-200.fc24.x86_64.rpm                80 kB/s |  76 kB     00:00    
--------------------------------------------------------------------------------
Итого                                            38 kB/s |  76 kB     00:01     
Проверка транзакции
Проверка транзакции завершена.
Проверка теста транзакции
Тест транзакции прошел успешно.
Выполняется транзакция
  Переустановка: kernel-4.8.15-200.fc24.x86_64                               1/2 
  Удаление    : kernel-4.8.15-200.fc24.x86_64                               2/2 
  Проверка     : kernel-4.8.15-200.fc24.x86_64                               1/2 
  Проверка     : kernel-4.8.15-200.fc24.x86_64                               2/2 

Переустановлено:
  kernel.x86_64 4.8.15-200.fc24                                                 

Завершено!

Но файл /boot/vlimuz-4.8.15-200.fc24.x86_64 по-прежнему отсутствует. Обратите внимание, что /boot находится в файловой системе с 190 ГБ свободного места. Я также пробовал dnf clean metadata и dnf clean all, но это не дало никаких результатов.
ТАКЖЕ обратите внимание на очень маленький размер файла ядра rpm. Поврежденный файл репозитория? Вот мои файлы репозиториев Fedora в /etc/yum.repos.d

-rw-r--r-- 1 root root 1253 Авг 13 07:44 fedora.repo
-rw-r--r-- 1 root root  689 Авг 13 07:44 fedora-cisco-openh264.repo
-rw-r--r-- 1 root root 1270 Авг 13 07:44 fedora-updates.repo
-rw-r--r-- 1 root root 1328 Авг 13 07:44 fedora-updates-testing.repo

Попробуйте rpm -ql kernel. Вы увидите (не содержит файлов) (возможно, несколько раз, если у вас установлено несколько ядер). В последних версиях это просто “мета-пакет”, который подгружает kernel-core и kernel-modules. Это сделано для того, чтобы вы могли установить только kernel-core, если вам нужно минимальное ядро для загрузки в виртуализированной среде.

Я не совсем понимаю, как у вас установлен пакет kernel без соответствующего kernel-core, но я почти уверен, что именно это и вызывает наблюдаемое вами поведение.