diff --git a/nuttx-configs/nxphlite-v1/include/board.h b/nuttx-configs/nxphlite-v1/include/board.h
index 6801d9dc0d..382b0d73ed 100644
--- a/nuttx-configs/nxphlite-v1/include/board.h
+++ b/nuttx-configs/nxphlite-v1/include/board.h
@@ -132,7 +132,7 @@
  * SD normal mode (4-bit): Optimal 20MHz, Actual 120MHz / (2 * 3) = 20 MHz (no DMA)
  */
 
-#ifdef CONFIG_SDIO_DMA
+#ifdef CONFIG_STM32_SDIO_DMA
 #  define BOARD_SDHC_SD4MODE_PRESCALER SDHC_SYSCTL_SDCLKFS_DIV2
 #  define BOARD_SDHC_SD4MODE_DIVISOR   SDHC_SYSCTL_DVS_DIV(3)
 #else
diff --git a/nuttx-configs/nxphlite-v1/nsh/defconfig b/nuttx-configs/nxphlite-v1/nsh/defconfig
index f7af9e2672..ecf478e860 100644
--- a/nuttx-configs/nxphlite-v1/nsh/defconfig
+++ b/nuttx-configs/nxphlite-v1/nsh/defconfig
@@ -548,6 +548,7 @@ CONFIG_MMCSD_SPI=y
 CONFIG_MMCSD_SPICLOCK=24000000
 CONFIG_MMCSD_SPIMODE=0
 # CONFIG_ARCH_HAVE_SDIO is not set
+# CONFIG_SDIO_DMA is not set
 # CONFIG_ARCH_HAVE_SDIOWAIT_WRCOMPLETE is not set
 # CONFIG_MODEM is not set
 # CONFIG_MTD is not set
@@ -828,6 +829,7 @@ CONFIG_STDIO_LINEBUFFER=y
 CONFIG_NUNGET_CHARS=2
 CONFIG_LIB_HOMEDIR="/"
 # CONFIG_LIBC_DLLFCN is not set
+# CONFIG_LIBC_MODLIB is not set
 CONFIG_LIBC_ARCH_MEMCPY=y
 # CONFIG_LIBC_ARCH_MEMCMP is not set
 # CONFIG_LIBC_ARCH_MEMMOVE is not set