Re: [SeaBIOS] [RFC v2 0/3] Support multiple pci domains in pci_device