Re: [PATCH] Disable grub2-mkconfig's submenus by default.