[coreboot-gerrit] Patch merged into coreboot/master: 22d90e3 southbridge/hudson: Pass GEVENT SMIs to mainboard_smi_gpi()