Re: GRUB lost graphical terminal mode

[Borden]

Thank you for the tip!

So `GRUB_TERMINAL=gfxterm` works, `GRUB_TERMINAL=console` works, but whatever 
the default is supposed to be does not. Does this imply that "the platform's 
native terminal output" is broken?