rtc: move RTC_RX8025 to Kconfig

move RTC_RX8025 to Kconfig and fixup board configs.

Signed-off-by: Heiko Schocher <hs@denx.de>
diff --git a/configs/socrates_defconfig b/configs/socrates_defconfig
index 2d5e158..1dadc12 100644
--- a/configs/socrates_defconfig
+++ b/configs/socrates_defconfig
@@ -37,6 +37,7 @@
 CONFIG_PHY_MARVELL=y
 CONFIG_MII=y
 CONFIG_TSEC_ENET=y
+CONFIG_RTC_RX8025=y
 CONFIG_SYS_NS16550=y
 CONFIG_USB=y
 # CONFIG_USB_EHCI_HCD is not set