Re: Interaction between grubby and grub2-mkconfig