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

[ron minnich]

Just double checking, but this has run on real hardware, right?

thanks

ron