Re: [coreboot] v3 IRQ table strangeness