Re: [PATCH 4/7] vga_switcheroo: Cleanup header comment