Patch merged into coreboot/master: 0edc224 smi: Update mainboard_smi_gpi() to have 32bit argument

the following patch was just integrated into master:
commit 0edc22490a643c4b4c6181c42eed375485f9e0e4
Author: Duncan Laurie 
Date:   Mon Apr 29 15:04:30 2013 -0700

smi: Update mainboard_smi_gpi() to have 32bit argument

With the LynxPoint chipset there are more than 16
    possible GPIOs that can trigger an SMI so we need
    a mainboard handler that can support this.

There are only a handful of users of this function
    so just change them all to use the new prototype.

Change-Id: I3d96da0397d6584f713fcf6003054b25c1c92939
    Signed-off-by: Duncan Laurie 
    Reviewed-on: https://gerrit.chromium.org/gerrit/49530
    Reviewed-by: Stefan Reinauer 
    Reviewed-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/4145
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexandru Gagniuc

See http://review.coreboot.org/4145 for details.

-gerrit