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