diff --git a/configs/sama5d4-ek/knsh/defconfig b/configs/sama5d4-ek/knsh/defconfig
index ae7a8b73f9..ef6b874331 100644
--- a/configs/sama5d4-ek/knsh/defconfig
+++ b/configs/sama5d4-ek/knsh/defconfig
@@ -348,6 +348,7 @@ CONFIG_NSH_MMCSDSLOTNO=0
 # Board-Specific Options
 #
 CONFIG_SAMA5D4_MB_REVC=y
+# CONFIG_SAMA5D4_MB_REVE is not set
 # CONFIG_SAMA5D4EK_384MHZ is not set
 # CONFIG_SAMA5D4EK_396MHZ is not set
 CONFIG_SAMA5D4EK_528MHZ=y
@@ -647,6 +648,7 @@ CONFIG_GRAN_SINGLE=y
 # CONFIG_GRAN_INTR is not set
 CONFIG_MM_PGALLOC=y
 CONFIG_MM_PGSIZE=4096
+# CONFIG_MM_SHM is not set
 
 #
 # Audio Support
diff --git a/configs/sama5d4-ek/knsh/defconfig.ROMFS b/configs/sama5d4-ek/knsh/defconfig.ROMFS
index d98fa8fe31..a04ef02cbd 100644
--- a/configs/sama5d4-ek/knsh/defconfig.ROMFS
+++ b/configs/sama5d4-ek/knsh/defconfig.ROMFS
@@ -331,6 +331,7 @@ CONFIG_NSH_MMCSDMINOR=0
 # Board-Specific Options
 #
 CONFIG_SAMA5D4_MB_REVC=y
+# CONFIG_SAMA5D4_MB_REVE is not set
 # CONFIG_SAMA5D4EK_384MHZ is not set
 # CONFIG_SAMA5D4EK_396MHZ is not set
 CONFIG_SAMA5D4EK_528MHZ=y
@@ -615,6 +616,7 @@ CONFIG_GRAN_SINGLE=y
 # CONFIG_GRAN_INTR is not set
 CONFIG_MM_PGALLOC=y
 CONFIG_MM_PGSIZE=4096
+# CONFIG_MM_SHM is not set
 
 #
 # Audio Support