PCI: Add 'nodomains' boot option, and pci_domains_supported global