configs/wrs_release_defconfig: use TOD_NONE in the default configuration

Signed-off-by: Adam Wujek <dev_public@wujek.eu>

configs/wrs_release_defconfig

@@ -17,11 +17,10 @@ CONFIG_PPSI=y
 #
 # External source of Time of Day at boot
 #
-# CONFIG_TOD_SOURCE_NONE is not set
-CONFIG_TOD_SOURCE_NTP=y
+CONFIG_TOD_SOURCE_NONE=y
+# CONFIG_TOD_SOURCE_NTP is not set
 # CONFIG_TOD_SOURCE_NMEA is not set
 # CONFIG_TOD_SOURCE_IRIGB is not set
-CONFIG_NTP_SERVER=""
 
 #
 # Local Network Configuration
@@ -909,12 +908,6 @@ CONFIG_SNMP_SWCORESTATUS_TX_FORWARD_DELTA=10
 #
 # System clock monitor
 #
-CONFIG_SNMP_SYSTEM_CLOCK_MONITOR_ENABLED=y
-CONFIG_SNMP_SYSTEM_CLOCK_DRIFT_THOLD=3
-CONFIG_SNMP_SYSTEM_CLOCK_UNIT_MINUTES=y
-# CONFIG_SNMP_SYSTEM_CLOCK_UNIT_HOURS is not set
-# CONFIG_SNMP_SYSTEM_CLOCK_UNIT_DAYS is not set
-CONFIG_SNMP_SYSTEM_CLOCK_CHECK_INTERVAL_MINUTES=10
 
 #
 # External clk2 clock signal configuration