PCI hotplug: clean up acpi_run_hpp()