Re: [PATCH v4 03/11] vga-switcheroo: make PCI dependency explicit