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

the following patch was just integrated into master:
commit 80f52b7bcd10a5c28ffa9a7ad3e64529df6f7085
Author: Florian Zumbiehl 
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

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

-gerrit