Edit File: vga_switcheroo.h