Re: [PATCH V3 0/9] PCI/VGA: Rework default VGA device selection