[coreboot] Patch set updated for coreboot: b5a0f0d IOAPIC: add setup_ioapic_NOVECTORS()