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

the following patch was just integrated into master:
commit 633e827f1630b1d93ee11f8667c01712767389b0
Author: Vladimir Serbinenko 
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 
    Reviewed-on: http://review.coreboot.org/10211
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit