[coreboot-gerrit] Patch merged into coreboot/master: 633e827 x230: Fix ricoh driver.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 633e827f1630b1d93ee11f8667c01712767389b0
Author: Vladimir Serbinenko <phcoder at gmail.com>
Date:   Fri May 15 11:10:08 2015 +0200

    x230: Fix ricoh driver.
    
    Inclusion of ricoh driver was lost in 1d7b9de3504e90f0886fccec3a1f8a783fd4cc58.
    So the relevant code wasn't even compiled.
    Fix copy-paste mistakes without significance while on it as well.
    
    Change-Id: Ie548cb43f986f147658fc9c67963f8a055250598
    Signed-off-by: Vladimir Serbinenko <phcoder at gmail.com>
    Reviewed-on: http://review.coreboot.org/10211
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit