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