[coreboot] Patch set updated for coreboot: 453220d clear_ioapic: Fix reading of number of interrupts for IO-APICs