[PATCH] PCI: fix error with pci_get_device() call in the mpc85xx driver