Re: [coreboot] [PATCH] Major CONFIG_IRQ_TABLE_COUNT fixing and cleanups