[coreboot] Patch set updated for coreboot: 3a2acbb IOAPIC: add setup_ioapic_novectors()