[coreboot-gerrit] Patch set updated for coreboot: e045006 winent/mb6047: symbolic arguments for acpi_create_madt_lapic_nmis()