Re: [coreboot] [PATCH] Add IOAPIC support for Intel 82371EB and fixup SMP on ASUS P2B-D