[SeaBIOS] [RFC 0/2] (Ongoing)Support multiple pci domains in pci_device