Re: [coreboot] New patch to review for coreboot: 40435e4 Fix reading of number of interrupts for IO-APICs