[coreboot-gerrit] Patch set updated for coreboot: 3def662 southbridge/hudson: Pass GEVENT SMIs to mainboard_smi_gpi()