Не получается обновить ядро в Fedora 30. Ну то есть пакет kernel-core-5.5.8-100.fc30 устанавливается, а файл /boot/vmlinuz-5.5.8-100.fc30 непоявляется. Думал то ли лыжи не едут, то ли… пока не догадался проверить следующее:
смотрю содержимое пакета kernel-core-5.5.8-100.fc30 через rpm -ql там есть /boot/vmlinuz-5.5.8-100.fc30
а теперь скачиваю пакет с зеркала по прямой ссылке http://mirror.linux-ia64.org/fedora/linux/updates/30/Everything/x86_64/Packages/k/kernel-core-5.5.8-100.fc30.x86_64.rpm и открываю его в Xarchiver, что вижу, внутри lib/modules/5.5.8-100.fc30.x86_64. Это не kernel-core-5.5.8-100.fc30.x86_64, это kernel-modules-5.5.8-100.fc30.x86_64
Прошли уже сутки, репозиторий не обновился, разработчики что не видят, что в репозитории один ключевой пакет подменян другим?