[coreboot] New patch to review for coreboot: e1cf05d i3100: Enable second IOAPIC for PCI-X