Madko
$ rpm -q kernel
kernel-4.18.17-300.fc29.x86_64
kernel-4.18.18-300.fc29.x86_64
kernel-4.19.2-300.fc29.x86_64
Mais aucun de ces noyaux ne se charge. Et le noyau chargé n'apparait pas dans cette liste. C'est surtout ça que je cherche à comprendre.
$ uname -a
Linux Hostname 4.14.11-300.fc27.x86_64 #1 SMP Wed Jan 3 13:52:28 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
Les trois fois x86_64 en fin de ligne me semblent suspects aussi.
Antbel
Je vais lire la page de Grub (RTFM). Et tenter une MàJ du boot avec grub2-mkconfig.
Merci