From e18dba8e9ad34061781a6dfd4f73209a991e933e Mon Sep 17 00:00:00 2001
From: Patrick Rudolph <siro@das-labor.org>
Date: Mon, 9 Dec 2019 20:10:20 +0100
Subject: [PATCH] mb/lenovo/t410: Select ricoh driver

Fix for CB:35086.
Build the Ricoh SDcard driver that is defined in devicetree.

Change-Id: Ib0ac3da088d798c35e2c5ea045ea721c89d9e12f
Signed-off-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37625
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/mainboard/lenovo/t410/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mainboard/lenovo/t410/Kconfig b/src/mainboard/lenovo/t410/Kconfig
index 943bf43e0a..f97a0938b1 100644
--- a/src/mainboard/lenovo/t410/Kconfig
+++ b/src/mainboard/lenovo/t410/Kconfig
@@ -22,6 +22,7 @@ config BOARD_SPECIFIC_OPTIONS
 	select MAINBOARD_USES_IFD_GBE_REGION
 	select H8_HAS_BAT_TRESHOLDS_IMPL
 	select MAINBOARD_HAS_LIBGFXINIT
+	select DRIVERS_RICOH_RCE822
 
 config VBOOT
 	select VBOOT_VBNV_CMOS