Linux 4.6 pci/host-hv merge error: PCI_HOTPLUG broken

Hi Bjorn,

due to the merge of the branch 'pci/host-hv' the sourcing of the new PCI hotplug location was removed, see:

https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/drivers/pci/Kconfig?id=cfeb8139a1fbbbae3f1e986133f4e9e7833eeac4

Oh. I've just seen that the issue was already fixed by Tero ...

https://git.kernel.org/cgit/linux/kernel/git/helgaas/pci.git/commit/?h=for-linus&id=30b5b8808c12bcd947dd474980482561b69c1bcb

Sorry for the noise!

Regards,
Oliver