[coreboot] New patch to review for coreboot: e0518c2 Divide setup_ioapic() in two parts.