[coreboot] PCI irq routing