[coreboot-gerrit] Patch set updated for coreboot: lenovo/x201: run `enable acpi` smi before s3 resume