[coreboot-gerrit] Patch merged into coreboot/master: ade2c5e winent/mb6047: symbolic arguments for acpi_create_madt_lapic_nmis()