[coreboot-gerrit] New patch to review for coreboot: 05d636a southbridge/hudson: Pass GEVENT SMIs to mainboard_smi_gpi()