diff --git a/boards/Kconfig b/boards/Kconfig
index b5c0d07ae3..b0c01b7186 100644
--- a/boards/Kconfig
+++ b/boards/Kconfig
@@ -125,9 +125,9 @@ config ARCH_BOARD_DEMOS92S12NEC64
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	---help---
-	NXP/FreeScale DMO9S12NE64 board based on the MC9S12NE64 hcs12 cpu.  This
-	port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
-	is code complete but has not yet been verified.
+		NXP/FreeScale DMO9S12NE64 board based on the MC9S12NE64 hcs12 cpu.  This
+		port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
+		is code complete but has not yet been verified.
 
 config ARCH_BOARD_DK_TM4C129X
 	bool "Tiva DK-TM4C129x Connected Development Kit"
@@ -975,7 +975,6 @@ config ARCH_BOARD_METRO_M4
 	bool "Adafruit M4 Metro"
 	depends on ARCH_CHIP_SAMD51J19
 	select ARCH_HAVE_LEDS
-	---help---
 	---help---
 		This configuration is the port of NuttX to the Adafruit Metro M4.
 		The Metro M4 uses a Arduino form factor and and pinout.  It's powered