[coreboot] Patch merged into coreboot/master: d1de45e ioapic: Factor out counting code to `ioapic_interrupt_count`