PCI: use config space encoding in pci_get_interrupt_pin()