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