Re: [coreboot] [2/2] coreboot cleanup: generic IOAPIC setup