Convert CONFIG_DS4510 to Kconfig

This converts the following to Kconfig:
   CONFIG_DS4510

Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Tom Rini <trini@konsulko.com>
Reviewed-by: Heiko Schocher <hs@denx.de>
diff --git a/README b/README
index 12f06e4..99af4c5 100644
--- a/README
+++ b/README
@@ -830,7 +830,6 @@
 		CONFIG_CMD_CRC32	* crc32
 		CONFIG_CMD_DHCP		* DHCP support
 		CONFIG_CMD_DIAG		* Diagnostics
-		CONFIG_CMD_DS4510	* ds4510 I2C gpio commands
 		CONFIG_CMD_DTT		* Digital Therm and Thermostat
 		CONFIG_CMD_ECHO		  echo arguments
 		CONFIG_CMD_EDITENV	  edit env variable
diff --git a/configs/xpedite517x_defconfig b/configs/xpedite517x_defconfig
index 909efb1..69fd8fa 100644
--- a/configs/xpedite517x_defconfig
+++ b/configs/xpedite517x_defconfig
@@ -15,6 +15,7 @@
 CONFIG_CMD_PING=y
 CONFIG_CMD_SNTP=y
 CONFIG_CMD_DATE=y
+CONFIG_DS4510=y
 # CONFIG_MMC is not set
 CONFIG_MTD_NOR_FLASH=y
 CONFIG_SYS_NS16550=y
diff --git a/configs/xpedite537x_defconfig b/configs/xpedite537x_defconfig
index 41dee5d..641ef8f 100644
--- a/configs/xpedite537x_defconfig
+++ b/configs/xpedite537x_defconfig
@@ -16,6 +16,7 @@
 CONFIG_CMD_SNTP=y
 CONFIG_CMD_DATE=y
 CONFIG_SYS_FSL_DDR2=y
+CONFIG_DS4510=y
 # CONFIG_MMC is not set
 CONFIG_MTD_NOR_FLASH=y
 CONFIG_SYS_NS16550=y
diff --git a/drivers/misc/Kconfig b/drivers/misc/Kconfig
index 1aae4bc..ecca159 100644
--- a/drivers/misc/Kconfig
+++ b/drivers/misc/Kconfig
@@ -75,6 +75,14 @@
 	  provides a faster and more robust interface than I2C but the bugs
 	  are less interesting.
 
+config DS4510
+	bool "Enable support for DS4510 CPU supervisor"
+	help
+	  Enable support for the Maxim DS4510 CPU supervisor. It has an
+	  integrated 64-byte EEPROM, four programmable non-volatile I/O pins
+	  and a configurable timer for the supervisor function. The device is
+	  connected over I2C.
+
 config FSL_SEC_MON
 	bool "Enable FSL SEC_MON Driver"
 	help
diff --git a/include/configs/xpedite517x.h b/include/configs/xpedite517x.h
index 822f70e..bd1d0c7 100644
--- a/include/configs/xpedite517x.h
+++ b/include/configs/xpedite517x.h
@@ -249,7 +249,6 @@
 #define CONFIG_SYS_M41T11_BASE_YEAR	2000
 
 /* GPIO/EEPROM/SRAM */
-#define CONFIG_DS4510
 #define CONFIG_SYS_I2C_DS4510_ADDR	0x51
 
 /* GPIO */
diff --git a/include/configs/xpedite537x.h b/include/configs/xpedite537x.h
index a12a3f8..a290cf3 100644
--- a/include/configs/xpedite537x.h
+++ b/include/configs/xpedite537x.h
@@ -246,7 +246,6 @@
 #define CONFIG_SYS_M41T11_BASE_YEAR	2000
 
 /* GPIO/EEPROM/SRAM */
-#define CONFIG_DS4510
 #define CONFIG_SYS_I2C_DS4510_ADDR	0x51
 
 /* GPIO */
diff --git a/scripts/config_whitelist.txt b/scripts/config_whitelist.txt
index f34fd67..5c4922c 100644
--- a/scripts/config_whitelist.txt
+++ b/scripts/config_whitelist.txt
@@ -681,7 +681,6 @@
 CONFIG_DRIVE_SATA
 CONFIG_DRIVE_TYPES
 CONFIG_DRIVE_USB
-CONFIG_DS4510
 CONFIG_DSP_CLUSTER_START
 CONFIG_DTT
 CONFIG_DTT_AD7414