По-этому и требовалось запустить update-kernel. И потому непонятно, как получилось в p8 ядро std-def, но 4.13.
В вокстэйшн только ядро
/ALTLinux/RPMS.main/kernel-image-std-def-4.4.34-alt0.M80P.1.x86_64.rpm
В репозитории есть и un-def
kernel-image-un-def-4.13.12-alt0.M80P.1.i586.rpm 08-Nov-2017 19:15 32392868
но согласен, притянется оно только если флавор указать явно для update-kernel.
Ну или руками всё втащить через синаптик и сгенерить инитрд.
А потом можно и перелинковать в /boot для умолчания.
Само оно un-def конечно не втянется.