[coreboot] Patch set updated for coreboot: 8962180 ioapic: Factor out counting code to `ioapic_interrupt_count`