[coreboot] Patch merged into coreboot/master: 80f52b7 make INT[EFGH]# of vt8237 configurable as gpio via devicetree

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 80f52b7bcd10a5c28ffa9a7ad3e64529df6f7085
Author: Florian Zumbiehl <florz at florz.de>
Date:   Mon Nov 21 03:10:47 2011 +0100

    make INT[EFGH]# of vt8237 configurable as gpio via devicetree
    
    Change-Id: I70202d81ddd1b0a00eddca4acabc621e5783e805
    Signed-off-by: Florian Zumbiehl <florz at florz.de>

Build-Tested: build bot (Jenkins) at Wed Nov 23 19:45:59 2011, giving +1
Reviewed-By: Rudolf Marek <r.marek at assembler.cz> at Fri Dec  2 23:04:38 2011, giving +2
See http://review.coreboot.org/386 for details.

-gerrit