From da83836da79162e2a7c2426ea9a2ddfcd8fdeb92 Mon Sep 17 00:00:00 2001
From: Ville Juven <ville.juven@unikie.com>
Date: Tue, 31 Jan 2023 12:54:55 +0200
Subject: [PATCH] drivers/mmcsd: Fix kconfig error regarding MMCSD_IOCSUPPORT

Something I noticed in CI:
drivers/mmcsd/Kconfig:32:warning: 'MMCSD_IOCSUPPORT': number is invalid
---
 drivers/mmcsd/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/mmcsd/Kconfig b/drivers/mmcsd/Kconfig
index 6511a0c40b6..4f8e2ff9c5d 100644
--- a/drivers/mmcsd/Kconfig
+++ b/drivers/mmcsd/Kconfig
@@ -28,7 +28,7 @@ menuconfig MMCSD
 if MMCSD
 
 config MMCSD_IOCSUPPORT
-	int "Enable MMC/SD ioctl support"
+	bool "Enable MMC/SD ioctl support"
 	default y
 	---help---
 		Disable it to save some code size if required.