diff --git a/configs/Kconfig b/configs/Kconfig
index a81bba02f6..86c9e9725a 100644
--- a/configs/Kconfig
+++ b/configs/Kconfig
@@ -1025,6 +1025,7 @@ config ARCH_BOARD_VSN
 	depends on ARCH_CHIP_STM32F103RE
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
+	select ARCH_HAVE_POWEROFF
 	---help---
 		ISOTEL NetClamps VSN V1.2 ready2go sensor network platform based on the
 		STMicro STM32F103RET6.  Contributed by Uros Platise.  See
@@ -1664,31 +1665,59 @@ endif
 config LIB_BOARDCTL
 	bool "Enable boardctl() interface"
 	default n
+	---help---
+		Enables support for the boardctl() interface.  Architecture
+		specific logic must provide board_app_initialize() interface.
 
 if LIB_BOARDCTL
 
 config BOARDCTL_POWEROFF
 	bool "Enable power off command"
 	default n
+	depends on ARCH_HAVE_POWEROFF
+	---help---
+		Enables support for the BOARDIOC_POWEROFF boardctl() command.
+		Architecture specific logic must provide board_power_off()
+		interface.
 
 config BOARDCTL_TSCTEST
 	bool "Enable touchscreen test interfaces"
 	default n
+	---help---
+		Enables support for the BOARDIOC_TSCTEST_SETUP and
+		BOARDIOC_TSCTEST_TEARDOWN boardctl() commands.  Architecture
+		specific logic must provide board_tsc_setup() and
+		board_tsc_teardown() interfaces.
 
 config BOARDCTL_ADCTEST
 	bool "Enable ADC test interfaces"
 	default n
+	---help---
+		Enables support for the BOARDIOC_ADCTEST_SETUP boardctl() command.
+		Architecture specific logic must provide board_adc_setup()
+		interface.
 
 config BOARDCTL_PWMTEST
 	bool "Enable PWM test interfaces"
 	default n
+	---help---
+		Enables support for the BOARDIOC_PWMTEST_SETUP boardctl() command.
+		Architecture specific logic must provide board_pwm_setup()
+		interface.
 
 config BOARDCTL_GRAPHICS
 	bool "Enable custom graphics initialization interfaces"
 	default n
+	---help---
+		Enables support for the BOARDIOC_GRAPHICS_SETUP boardctl() command.
+		Architecture specific logic must provide board_graphics_setup()
+		interface.
 
 config BOARDCTL_IOCTL
 	bool "Board-specific boardctl() commands"
 	default n
+	---help---
+		Enables support for the BOARDIOC_POWEROFF boardctl() command.
+		Architecture specific logic must provide board_ioctl() interface.
 
 endif # LIB_BOARDCTL
diff --git a/configs/compal_e86/nsh_highram/defconfig b/configs/compal_e86/nsh_highram/defconfig
index 7136171372..c305f4fca2 100644
--- a/configs/compal_e86/nsh_highram/defconfig
+++ b/configs/compal_e86/nsh_highram/defconfig
@@ -163,6 +163,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 # CONFIG_ARCH_HAVE_MPU is not set
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
diff --git a/configs/compal_e88/nsh_highram/defconfig b/configs/compal_e88/nsh_highram/defconfig
index e025609dcd..710409b0e3 100644
--- a/configs/compal_e88/nsh_highram/defconfig
+++ b/configs/compal_e88/nsh_highram/defconfig
@@ -163,6 +163,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 # CONFIG_ARCH_HAVE_MPU is not set
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
diff --git a/configs/compal_e99/nsh_compalram/defconfig b/configs/compal_e99/nsh_compalram/defconfig
index b2a8afc7d2..5ecda22fde 100644
--- a/configs/compal_e99/nsh_compalram/defconfig
+++ b/configs/compal_e99/nsh_compalram/defconfig
@@ -164,6 +164,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 # CONFIG_ARCH_HAVE_MPU is not set
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
diff --git a/configs/compal_e99/nsh_highram/defconfig b/configs/compal_e99/nsh_highram/defconfig
index c3d04793b3..34fa6fcb40 100644
--- a/configs/compal_e99/nsh_highram/defconfig
+++ b/configs/compal_e99/nsh_highram/defconfig
@@ -163,6 +163,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 # CONFIG_ARCH_HAVE_MPU is not set
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
diff --git a/configs/pirelli_dpl10/nsh_highram/defconfig b/configs/pirelli_dpl10/nsh_highram/defconfig
index 8bc5b0ef9d..cceeb861e3 100644
--- a/configs/pirelli_dpl10/nsh_highram/defconfig
+++ b/configs/pirelli_dpl10/nsh_highram/defconfig
@@ -164,6 +164,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 # CONFIG_ARCH_HAVE_MPU is not set
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 CONFIG_ARCH_STACKDUMP=y
 # CONFIG_ENDIAN_BIG is not set
 # CONFIG_ARCH_IDLE_CUSTOM is not set
diff --git a/configs/vsn/nsh/defconfig b/configs/vsn/nsh/defconfig
index cf7e920a61..791edfd7d8 100644
--- a/configs/vsn/nsh/defconfig
+++ b/configs/vsn/nsh/defconfig
@@ -434,6 +434,7 @@ CONFIG_ARCH_HAVE_VFORK=y
 CONFIG_ARCH_HAVE_MPU=y
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_POWEROFF=y
 # CONFIG_ARCH_USE_MPU is not set
 # CONFIG_ARCH_IRQPRIO is not set
 CONFIG_ARCH_STACKDUMP=y