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