boards/fvp-armv8r: Update defconfig after running refresh.sh

boards/arm64/fvp-v8r/fvp-armv8r/configs/nsh/defconfig

@@ -5,74 +5,46 @@
 # You can then do "make savedefconfig" to generate a new defconfig file that includes your
 # modifications.
 #
-CONFIG_ARCH="arm64"
-CONFIG_ARCH_ARM64=y
-CONFIG_ARCH_BOARD="fvp-armv8r"
-CONFIG_ARCH_BOARD_FVP_ARMV8R=y
-CONFIG_ARCH_CHIP="fvp-v8r"
-CONFIG_ARCH_CHIP_FVP_ARMV8R=y
-CONFIG_ARCH_CHIP_FVP_R82=y
-CONFIG_ARCH_EARLY_PRINT=y
-CONFIG_ARCH_INTERRUPTSTACK=4096
-CONFIG_ARM64_STRING_FUNCTION=y
+# CONFIG_ARCH_FPU is not set
+# CONFIG_NSH_ARGCAT is not set
+# CONFIG_NSH_CMDOPT_HEXDUMP is not set
+CONFIG_ARCH="arm"
+CONFIG_ARCH_BOARD="stm32f4discovery"
+CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
+CONFIG_ARCH_BUTTONS=y
+CONFIG_ARCH_CHIP="stm32"
+CONFIG_ARCH_CHIP_STM32=y
+CONFIG_ARCH_CHIP_STM32F407VG=y
+CONFIG_ARCH_STACKDUMP=y
+CONFIG_BOARD_LATE_INITIALIZE=y
+CONFIG_BOARD_LOOPSPERMSEC=16717
 CONFIG_BUILTIN=y
-CONFIG_DEBUG_ASSERTIONS=y
-CONFIG_DEBUG_FEATURES=y
-CONFIG_DEBUG_FULLOPT=y
-CONFIG_DEBUG_SCHED=y
-CONFIG_DEBUG_SCHED_ERROR=y
-CONFIG_DEBUG_SCHED_INFO=y
-CONFIG_DEBUG_SCHED_WARN=y
-CONFIG_DEBUG_SYMBOLS=y
-CONFIG_DEFAULT_TASK_STACKSIZE=8192
-CONFIG_DEV_ZERO=y
 CONFIG_EXAMPLES_HELLO=y
-CONFIG_EXPERIMENTAL=y
 CONFIG_FS_PROCFS=y
-CONFIG_FS_PROCFS_REGISTER=y
-CONFIG_FS_ROMFS=y
-CONFIG_IDLETHREAD_STACKSIZE=8192
+CONFIG_HAVE_CXX=y
+CONFIG_HAVE_CXXINITIALIZE=y
+CONFIG_HOST_WINDOWS=y
 CONFIG_INIT_ENTRYPOINT="nsh_main"
 CONFIG_INTELHEX_BINARY=y
-CONFIG_NSH_ARCHINIT=y
+CONFIG_MM_REGIONS=2
 CONFIG_NSH_BUILTIN_APPS=y
 CONFIG_NSH_FILEIOSIZE=512
+CONFIG_NSH_LINELEN=64
 CONFIG_NSH_READLINE=y
-CONFIG_NSH_ROMFSETC=y
 CONFIG_PREALLOC_TIMERS=4
-CONFIG_PTHREAD_STACK_MIN=8192
-CONFIG_RAMLOG=y
-CONFIG_RAM_SIZE=134217728
-CONFIG_RAM_START=0x0000000
+CONFIG_RAM_SIZE=114688
+CONFIG_RAM_START=0x20000000
 CONFIG_RAW_BINARY=y
-CONFIG_READLINE_CMD_HISTORY=y
 CONFIG_RR_INTERVAL=200
-CONFIG_SCHED_HPWORK=y
-CONFIG_SCHED_HPWORKPRIORITY=192
-CONFIG_SPINLOCK=y
-CONFIG_STACK_COLORATION=y
-CONFIG_START_MONTH=3
-CONFIG_START_YEAR=2022
-CONFIG_SYMTAB_ORDEREDBYNAME=y
-CONFIG_SYSLOG_PROCESSID=y
-CONFIG_SYSLOG_PROCESS_NAME=y
+CONFIG_SCHED_WAITPID=y
+CONFIG_START_DAY=6
+CONFIG_START_MONTH=12
+CONFIG_START_YEAR=2011
+CONFIG_STM32_JTAG_SW_ENABLE=y
+CONFIG_STM32_PWR=y
+CONFIG_STM32_SPI1=y
+CONFIG_STM32_USART2=y
 CONFIG_SYSTEM_NSH=y
-CONFIG_SYSTEM_SYSTEM=y
-CONFIG_SYSTEM_TIME64=y
-CONFIG_TESTING_GETPRIME=y
-CONFIG_TESTING_OSTEST=y
-CONFIG_UART0_BASE=0x9c090000
-CONFIG_UART0_IRQ=37
-CONFIG_UART0_PL011=y
-CONFIG_UART1_BASE=0x9c0a0000
-CONFIG_UART1_IRQ=38
-CONFIG_UART1_PL011=y
-CONFIG_UART1_SERIAL_CONSOLE=y
-CONFIG_UART2_BASE=0x9c0b0000
-CONFIG_UART2_IRQ=39
-CONFIG_UART2_PL011=y
-CONFIG_UART3_BASE=0x9c0c0000
-CONFIG_UART3_IRQ=40
-CONFIG_UART3_PL011=y
-CONFIG_UART_PL011=y
-CONFIG_USEC_PER_TICK=1000
+CONFIG_USART2_RXBUFSIZE=128
+CONFIG_USART2_SERIAL_CONSOLE=y
+CONFIG_USART2_TXBUFSIZE=128