[coreboot] Patch merged into coreboot/master: fa073e1 IOAPIC: hook up driver in Kconfig