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