diff --git a/platforms/nuttx/nuttx-configs/nxphlite-v3/nsh/defconfig b/platforms/nuttx/nuttx-configs/nxphlite-v3/nsh/defconfig
index c64c55a40d..d037945c48 100644
--- a/platforms/nuttx/nuttx-configs/nxphlite-v3/nsh/defconfig
+++ b/platforms/nuttx/nuttx-configs/nxphlite-v3/nsh/defconfig
@@ -299,10 +299,10 @@ CONFIG_KINETIS_UART_EXTEDED_BREAK=y
 CONFIG_KINETIS_SERIALBRK_BSDCOMPAT=y
 # CONFIG_KINETIS_UART_SINGLEWIRE is not set
 CONFIG_KINETIS_UARTFIFOS=y
-CONFIG_UART0_RXDMA=y
-CONFIG_UART1_RXDMA=y
-CONFIG_UART2_RXDMA=y
-CONFIG_UART4_RXDMA=y
+CONFIG_KINETIS_UART0_RXDMA=y
+CONFIG_KINETIS_UART1_RXDMA=y
+CONFIG_KINETIS_UART2_RXDMA=y
+CONFIG_KINETIS_UART4_RXDMA=y
 CONFIG_KINETIS_SERIAL_RXDMA_BUFFER_SIZE=64
 
 #
@@ -316,6 +316,7 @@ CONFIG_LPUART0_PARITY=0
 CONFIG_LPUART0_2STOP=0
 # CONFIG_LPUART0_IFLOWCONTROL is not set
 # CONFIG_LPUART0_OFLOWCONTROL is not set
+# CONFIG_LPUART0_DMA is not set
 CONFIG_LPUART0_SERIAL_CONSOLE=y
 # CONFIG_NO_LPUART_SERIAL_CONSOLE is not set
 CONFIG_KINETIS_MERGE_TTY=y
@@ -578,6 +579,7 @@ CONFIG_SPI_EXCHANGE=y
 # CONFIG_ONESHOT is not set
 CONFIG_RTC=y
 # CONFIG_RTC_DATETIME is not set
+# CONFIG_RTC_HIRES is not set
 # CONFIG_RTC_ALARM is not set
 # CONFIG_RTC_DRIVER is not set
 # CONFIG_RTC_EXTERNAL is not set