fix(def_config): update def_config_custom

Recent changes have added some new Kconfig options, so bringing
def_config_custom files up to date.

boards/mpfs-icicle-kit-es/def_config_custom

@@ -25,7 +25,6 @@ CONFIG_SERVICE_BOOT_DDR_TARGET_ADDR=0xA0000000
 CONFIG_SERVICE_BOOT_MMC_USE_GPT=y
 # end of Boot Service
 
-# CONFIG_SERVICE_CRYPTO is not set
 CONFIG_SERVICE_DDR=y
 CONFIG_SERVICE_GOTO=y
 CONFIG_SERVICE_IPI_POLL=y
@@ -54,13 +53,28 @@ CONFIG_SERVICE_MMC_BUS_VOLTAGE_1V8=y
 CONFIG_SERVICE_MMC_FABRIC_SD_EMMC_DEMUX_SELECT_PRESENT=y
 CONFIG_SERVICE_MMC_FABRIC_SD_EMMC_DEMUX_SELECT_ADDRESS=0x4fffff00
 # end of SDIO Control
+
+CONFIG_SERVICE_MMC_SPIN_TIMEOUT=y
+# CONFIG_SERVICE_MMC_SPIN_TIMEOUT_ASSERT is not set
+CONFIG_SERVICE_MMC_SPIN_TIMEOUT_MAX_SPINS=1000000
 # end of MMC
 
 CONFIG_SERVICE_OPENSBI=y
 CONFIG_SERVICE_OPENSBI_IHC=y
+CONFIG_SERVICE_OPENSBI_RPROC=y
 # CONFIG_SERVICE_POWERMODE is not set
 # CONFIG_SERVICE_QSPI is not set
-# CONFIG_SERVICE_SCRUB is not set
+
+CONFIG_SERVICE_SCRUB=y
+
+#
+# RAM Scrubbing Service
+#
+CONFIG_SERVICE_SCRUB_MAX_SIZE_PER_LOOP_ITER=4096
+CONFIG_SERVICE_SCRUB_RUN_EVERY_X_SUPERLOOPS=256
+# CONFIG_SERVICE_SCRUB_CACHED_DDR is not set
+# end of RAM Scrubbing Service
+
 CONFIG_SERVICE_SGDMA=y
 # CONFIG_SERVICE_SPI is not set
 CONFIG_SERVICE_TINYCLI=y
@@ -105,6 +119,13 @@ CONFIG_SERVICE_WDOG_ENABLE_E51=y
 CONFIG_USE_PCIE=y
 CONFIG_OPENSBI=y
 CONFIG_USE_IHC=y
+CONFIG_ALLOW_COLDREBOOT=y
+
+#
+# Cold Reboot
+#
+CONFIG_ALLOW_COLDREBOOT_ALWAYS=y
+# end of Cold Reboot
 # end of Miscellaneous
 
 #
@@ -141,6 +162,7 @@ CONFIG_CC_USE_MAKEDEP=y
 CONFIG_CC_USE_GNU_BUILD_ID=y
 CONFIG_CC_HAS_INTTYPES=y
 CONFIG_DISPLAY_TOOL_VERSIONS=y
+# CONFIG_LOG_FUNCTION_NAMES is not set
 # end of Build Options
 
 #
@@ -168,12 +190,13 @@ CONFIG_DEBUG_LOOP_TIMES_THRESHOLD=2500000
 # CONFIG_DEBUG_PROFILING_SUPPORT is not set
 CONFIG_DEBUG_PERF_CTRS=y
 CONFIG_DEBUG_PERF_CTRS_NUM=16
+# CONFIG_DEBUG_RESET_REASON is not set
 # end of Debug Options
 
 #
 # SSMB Options
 #
-CONFIG_HSS_USE_IHC=y
+# CONFIG_HSS_USE_IHC is not set
 CONFIG_IPI_MAX_NUM_QUEUE_MESSAGES=8
 # CONFIG_IPI_FIXED_BASE is not set
 # end of SSMB Options