Выпуск летних стартеркитов отложен на две недели по причине расширения количества поддерживаемых платформ (добавились aarch64, armh, mipsel).Бета стартеркитов для i586 и x86_64:http://nightly.altlinux.org/p9/beta/
Есть ли (уже) в сетевых репозиториях установочный пакет хедеров ядра для этого ядра?
Какое ядро ... в сборках от 12-Mar-2019, например?