[PATCH] alpha: switch to pci_get API