[coreboot-gerrit] Patch set updated for coreboot: 9de0424 smi: Update mainboard_smi_gpi() to have 32bit argument