On 10/31/18 11:15 AM, Fabio Valentini wrote:
around the problem. (to make this permanent for new kernels too,
edit
/etc/default/grub)
That is not quite correct. That only applies to running grub2-mkconfig.
New kernels are added by grubby which copies the information from the
previous kernel in the config file.