[PATCH 4/7] vga_switcheroo: Cleanup header comment