[PATCH] PCI: fix race with pci_walk_bus and pci_destroy_dev