Re: [coreboot] PCI irq routing