[PATCH] ppc64: Fix PCI hotplug