[PATCH] PCI Hotplug: fix up coding style issues