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