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

the following patch was just integrated into master:
commit e1cf05d4172b1335fc39481b0f4a0cd8a5d5decf
Author: Sven Schnelle 
Date:   Wed Jun 20 16:25:55 2012 +0200

i3100: Enable second IOAPIC for PCI-X

i3100/i5000 have a second IOAPIC which handles IRQs for PCI-X.
    Add code to enable it.

Change-Id: Ib447628f501b152c8adc9c7c89bd09b5615b9e5a
    Signed-off-by: Sven Schnelle

Build-Tested: build bot (Jenkins) at Wed Jun 20 18:26:19 2012, giving +1
Reviewed-By: Stefan Reinauer  at Wed Jun 20 20:54:42 2012, giving +2
Reviewed-By: Sven Schnelle  at Thu Jun 21 08:46:57 2012, giving +2
See http://review.coreboot.org/1118 for details.

-gerrit