[coreboot] Patch merged into coreboot/master: 91f016f Fix reading of number of interrupts for IO-APICs