[coreboot-gerrit] Patch merged into coreboot/master: ea9c98d exynos5420: Replace the 5250 GPIO code with code that should work on 5420.

the following patch was just integrated into master:
commit ea9c98d454e4ea60452de1bbe38dfeea857c3142
Author: Gabe Black 
Date:   Fri May 17 02:57:17 2013 -0700

exynos5420: Replace the 5250 GPIO code with code that should work on 5420.

Change-Id: Iac6615240e94c74037afc801169c32d3ebc4ac03
    Signed-off-by: Gabe Black 
    Reviewed-on: http://review.coreboot.org/3648
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit