[coreboot] Patch merged into coreboot/master: db4f875 IOAPIC: Divide setup_ioapic() in two parts.