diff --git a/arch/arm/src/efm32/Kconfig b/arch/arm/src/efm32/Kconfig
index 8cfba344fc..42247b6092 100644
--- a/arch/arm/src/efm32/Kconfig
+++ b/arch/arm/src/efm32/Kconfig
@@ -77,8 +77,8 @@ config EFM32_EFM32GG
 
 menu "EFM32 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for
-# the selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config EFM32_HAVE_USART2
 	bool
diff --git a/arch/arm/src/kinetis/Kconfig b/arch/arm/src/kinetis/Kconfig
index cdc0665160..8a945a45d8 100644
--- a/arch/arm/src/kinetis/Kconfig
+++ b/arch/arm/src/kinetis/Kconfig
@@ -228,8 +228,8 @@ config ARCH_CHIP_MK66FN2M0VLQ18
 
 endchoice
 
-# These "hidden" settings determine is a peripheral option is available for
-# the selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config KINETIS_HAVE_UART5
 	bool
diff --git a/arch/arm/src/stm32/Kconfig b/arch/arm/src/stm32/Kconfig
index ef98eed0b7..056e4b86c7 100644
--- a/arch/arm/src/stm32/Kconfig
+++ b/arch/arm/src/stm32/Kconfig
@@ -1836,8 +1836,8 @@ config STM32_DFU
 
 menu "STM32 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config STM32_HAVE_AES
 	bool
diff --git a/arch/arm/src/stm32f0l0g0/Kconfig b/arch/arm/src/stm32f0l0g0/Kconfig
index da229eeb16..f12037ade1 100644
--- a/arch/arm/src/stm32f0l0g0/Kconfig
+++ b/arch/arm/src/stm32f0l0g0/Kconfig
@@ -929,8 +929,8 @@ endchoice
 
 menu "STM32 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config STM32F0L0G0_HAVE_AES
 	bool
diff --git a/arch/arm/src/stm32f7/Kconfig b/arch/arm/src/stm32f7/Kconfig
index d6395cbc39..1e3589c3ea 100644
--- a/arch/arm/src/stm32f7/Kconfig
+++ b/arch/arm/src/stm32f7/Kconfig
@@ -1129,8 +1129,8 @@ config STM32F7_PROGMEM
 
 menu "STM32 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config STM32F7_HAVE_LTDC
 	bool
diff --git a/arch/arm/src/stm32h7/Kconfig b/arch/arm/src/stm32h7/Kconfig
index 247876e8ec..bf1018ee29 100644
--- a/arch/arm/src/stm32h7/Kconfig
+++ b/arch/arm/src/stm32h7/Kconfig
@@ -151,8 +151,8 @@ config STM32H7_PROGMEM
 
 menu "STM32H7 Peripheral Selection"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config STM32H7_HAVE_ETHERNET
 	bool
diff --git a/arch/arm/src/stm32l4/Kconfig b/arch/arm/src/stm32l4/Kconfig
index 85590c3ba8..64d5f015ad 100644
--- a/arch/arm/src/stm32l4/Kconfig
+++ b/arch/arm/src/stm32l4/Kconfig
@@ -907,8 +907,8 @@ comment "STM32L4 Peripherals"
 
 menu "STM32L4 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config STM32L4_HAVE_ADC2
 	bool
diff --git a/arch/arm/src/xmc4/Kconfig b/arch/arm/src/xmc4/Kconfig
index 74816db73a..700b9be969 100644
--- a/arch/arm/src/xmc4/Kconfig
+++ b/arch/arm/src/xmc4/Kconfig
@@ -24,8 +24,8 @@ config ARCH_CHIP_XMC4800
 
 endchoice
 
-# These "hidden" settings determine is a peripheral option is available for
-# the selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 
 # When there are multiple instances of a device, these "hidden" settings
diff --git a/arch/misoc/Kconfig b/arch/misoc/Kconfig
index a9f19f869f..3cbadcdd0e 100644
--- a/arch/misoc/Kconfig
+++ b/arch/misoc/Kconfig
@@ -30,8 +30,8 @@ config ARCH_CHIP
 
 menu "MISOC Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config MISOC_HAVE_UART1
 	bool
diff --git a/arch/risc-v/src/fe310/Kconfig b/arch/risc-v/src/fe310/Kconfig
index 6e2406e001..c02cb8b80d 100644
--- a/arch/risc-v/src/fe310/Kconfig
+++ b/arch/risc-v/src/fe310/Kconfig
@@ -28,8 +28,8 @@ endchoice
 
 menu "FE310 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config FE310_HAVE_UART0
 	bool
diff --git a/arch/risc-v/src/k210/Kconfig b/arch/risc-v/src/k210/Kconfig
index ade88710cf..9fb905a930 100644
--- a/arch/risc-v/src/k210/Kconfig
+++ b/arch/risc-v/src/k210/Kconfig
@@ -7,8 +7,8 @@ comment "K210 Configuration Options"
 
 menu "K210 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config K210_HAVE_UART0
 	bool
diff --git a/arch/risc-v/src/litex/Kconfig b/arch/risc-v/src/litex/Kconfig
index d6b7e3bd9f..674e74928e 100644
--- a/arch/risc-v/src/litex/Kconfig
+++ b/arch/risc-v/src/litex/Kconfig
@@ -7,8 +7,8 @@ comment "LITEX Configuration Options"
 
 menu "LITEX Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config LITEX_HAVE_UART0
 	bool
diff --git a/arch/risc-v/src/nr5m100/Kconfig b/arch/risc-v/src/nr5m100/Kconfig
index 7be7e7b079..44e76f9c7c 100644
--- a/arch/risc-v/src/nr5m100/Kconfig
+++ b/arch/risc-v/src/nr5m100/Kconfig
@@ -40,8 +40,8 @@ config NR5_EPIC
 
 menu "NR5 Peripheral Support"
 
-# These "hidden" settings determine is a peripheral option is available for the
-# selection MCU
+# These "hidden" settings determine whether a peripheral option is available
+# for the selected MCU
 
 config NR5_HAVE_UART1
 	bool