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