[coreboot-gerrit] New patch to review for coreboot: d8815da lenovo/x201: Fix mainboard_smi_gpi()