Symbol: pcib_pcie_hotplug_update