[coreboot-gerrit] New patch to review for coreboot: ddeb5c1 intel/i82801gx: SMM: Pass the ACPI GNVS pointer via state save map