Adding support for multiple PCI domains (multiple root controllers)