[coreboot-gerrit] New patch to review for coreboot: 4177728 smi: Update mainboard_smi_gpi() to have 32bit argument