- are $monitor and $vgasize set to anything?
- is aux/vga actually loading vga mode?
- if $monitor and $vgasize are set, what happens when you run

	aux/vga -m $monitor -l $vgasize