[PATCH 10/11] Convert CONFIG_SYS_MONITOR_BASE to Kconfig