vga_switcheroo: initial implementation (v15)