Re: [PATCH V4 00/10] PCI/VGA: Rework default VGA device selection