[PATCH v2 9/9] PCI/VGA: Rework default VGA device selection