PCI: update location of PCI hotplug mailing lists