tree a4b2da457230e77144df046e0ea2b23891874792
parent 643ad15d47410d37d43daf3ef1c8ac52c281efa5
author Tero Roponen <tero.roponen@gmail.com> 1458545201 +0200
committer Bjorn Helgaas <bhelgaas@google.com> 1458563614 -0500

PCI: Restore inclusion of pci/hotplug Kconfig

Commit e7e127e3c767 ("PCI: Include pci/hotplug Kconfig directly from
pci/Kconfig") added one line to pci/Kconfig.  However, for some mysterious
reason it isn't there now, even though there are no traces of removing it
in the git log.

I detected this issue when 'make oldconfig' removed all the options that
depended on HOTPLUG_PCI.

[bhelgaas: I botched the cfeb8139a1fb ("Merge branch 'pci/host-hv' into
next") merge.  "git diff cfeb8139a1fb^ cfeb8139a1fb" shows a conflict in
drivers/pci/Kconfig, and I mistakenly dropped the hotplug/Kconfig piece.]
Signed-off-by: Tero Roponen <tero.roponen@gmail.com>
Signed-off-by: Bjorn Helgaas <bhelgaas@google.com>