[coreboot] Patch merged into coreboot/master: 10075b5 Add generic IOAPIC driver