[coreboot] New patch to review for coreboot: 90271db IOAPIC: add setup_ioapic_NOVECTORS()