[coreboot-gerrit] New patch to review for coreboot: pci_device: IRQ swizzling for pci2pci bridges corrected