Further work on vga (timings, etc.)