[coreboot] [PATCH]: Disable ExtINT in ioapic.c