[PATCH] PCI hotplug: convert semaphores to mutex