[coreboot-gerrit] New patch to review for coreboot: 87b92ae I/O APIC Kconfig: `select IOAPIC if !DRIVERS_GENERIC_IOAPIC`