diff --git a/configs/Kconfig b/configs/Kconfig
index c4565dbe7d5..b5869e20952 100644
--- a/configs/Kconfig
+++ b/configs/Kconfig
@@ -870,6 +870,7 @@ config ARCH_BOARD_CUSTOM_DIR
 		"~/projects/myboard").
 
 config ARCH_BOARD
+	string
 	default "amber"               if ARCH_BOARD_AMBER
 	default "arduino-due"         if ARCH_BOARD_ARDUINO_DUE
 	default "avr32dev1"           if ARCH_BOARD_AVR32DEV1
diff --git a/configs/viewtool-stm32f107/netnsh/defconfig b/configs/viewtool-stm32f107/netnsh/defconfig
index a6675ebb00c..a0a9dd2004e 100644
--- a/configs/viewtool-stm32f107/netnsh/defconfig
+++ b/configs/viewtool-stm32f107/netnsh/defconfig
@@ -551,8 +551,9 @@ CONFIG_NET_TCP=y
 CONFIG_NET_TCP_CONNS=40
 CONFIG_NET_MAX_LISTENPORTS=40
 CONFIG_NET_TCP_READAHEAD=y
-CONFIG_NET_TCP_READAHEAD_BUFSIZE=650
+CONFIG_NET_TCP_READAHEAD_BUFSIZE=596
 CONFIG_NET_NTCP_READAHEAD_BUFFERS=8
+# CONFIG_NET_TCP_WRITE_BUFFERS is not set
 CONFIG_NET_TCP_RECVDELAY=0
 # CONFIG_NET_TCPBACKLOG is not set
 # CONFIG_NET_TCP_SPLIT is not set
@@ -571,7 +572,7 @@ CONFIG_NET_ICMP_PING=y
 # CONFIG_NET_PINGADDRCONF is not set
 # CONFIG_NET_IGMP is not set
 # CONFIG_NET_STATISTICS is not set
-CONFIG_NET_RECEIVE_WINDOW=650
+CONFIG_NET_RECEIVE_WINDOW=596
 CONFIG_NET_ARPTAB_SIZE=16
 # CONFIG_NET_ARP_IPIN is not set
 # CONFIG_NET_ROUTE is not set
@@ -886,7 +887,7 @@ CONFIG_NSH_MAX_ROUNDTRIP=20
 # CONFIG_PLATFORM_CONFIGDATA is not set
 
 #
-# System NSH Add-Ons
+# System Libraries and NSH Add-Ons
 #
 
 #
@@ -906,6 +907,11 @@ CONFIG_NSH_MAX_ROUNDTRIP=20
 # I2C tool
 #
 
+#
+# INI File Parser
+#
+# CONFIG_SYSTEM_INIFILE is not set
+
 #
 # FLASH Program Installation
 #