Re: [PATCH V5 00/11] PCI/VGA: Rework default VGA device selection