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