[21:56] <CarlFK> what do I run to regen grub/menu.lst?
[21:56] <CarlFK> so that this will take effect # defoptions=vga=6
[21:59] <CarlFK> looks like /sbin/update-grub.