[coreboot] New patch to review for coreboot: 91f016f Fix reading of number of interrupts for IO-APICs