[coreboot-gerrit] Patch merged into coreboot/master: soc/marvell/armada38x: Add gpio driver for armada38x

the following patch was just integrated into master:
commit c1b9e7934c0b100b8ce558669df8b57a03b2271f
Author: Ruilin Hao 
Date:   Tue Nov 10 00:17:09 2015 -0800

soc/marvell/armada38x: Add gpio driver for armada38x

Port gpio driver from uboot to coreboot

BUG=chrome-os-partner:47462
    TEST=None
    BRANCH=tot

Change-Id: Ib6cfbb6e44cb642c7af937778076a51d405ff4a2
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 5cf94502faad96147d4a4adb42eb13edb64a6439
    Original-Change-Id: Ia2e081a85347e2fc8bb365ca527ee2ee32af86f1
    Original-Signed-off-by: Ruilin Hao 
    Original-Reviewed-on: https://chromium-review.googlesource.com/313341
    Original-Commit-Ready: Kan Yan 
    Original-Tested-by: Kan Yan 
    Original-Reviewed-by: Furquan Shaikh 
    Original-Reviewed-by: Kan Yan 
    Original-Reviewed-by: Yuji Sasaki 
    Reviewed-on: https://review.coreboot.org/13112
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See https://review.coreboot.org/13112 for details.

-gerrit