[coreboot] Patch set updated for coreboot: 2b68c88 IOAPIC: Divide setup_ioapic() in two parts.