Felix E. Klee Mon, 06 Apr 2015 08:45:30 -0700
`vga=792` in the kernel command line did the trick at least for 1024x768:
<http://pierre.baudu.in/other/grub.vga.modes.html>