[coreboot] Patch merged into coreboot/master: e1cf05d i3100: Enable second IOAPIC for PCI-X