On Mon, 17 Jun 2019 07:34:43 +0200
François Patte <francois.patte(a)mi.parisdescartes.fr> wrote:
I recall that my problem occurs since f29 and when I upgraded to f29
kernel updates had not this problem, it occurs only since a few
months.
There is some more information about setting the default here.
https://fedoraproject.org/wiki/GRUB_2