Re: [coreboot] Seabios: PCI interrupt routing question