[SeaBIOS] [RFC 2/2] pci_device: Add pci domain support