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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit c1b9e7934c0b100b8ce558669df8b57a03b2271f
Author: Ruilin Hao <rlhao at marvell.com>
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 <pgeorgi at chromium.org>
    Original-Commit-Id: 5cf94502faad96147d4a4adb42eb13edb64a6439
    Original-Change-Id: Ia2e081a85347e2fc8bb365ca527ee2ee32af86f1
    Original-Signed-off-by: Ruilin Hao <rlhao at marvell.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/313341
    Original-Commit-Ready: Kan Yan <kyan at google.com>
    Original-Tested-by: Kan Yan <kyan at google.com>
    Original-Reviewed-by: Furquan Shaikh <furquan at chromium.org>
    Original-Reviewed-by: Kan Yan <kyan at google.com>
    Original-Reviewed-by: Yuji Sasaki <sasakiy at chromium.org>
    Reviewed-on: https://review.coreboot.org/13112
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit