[PATCH 03/11] vga_switcheroo: Add command line option