Re: [PATCH] Don't emit "gfxterm" in grub2 configs (#821355)