nxphlite-v3:SDIO DMA working.

   The fix ix in nuttx. This is just the defconfig changes to use
   it.

   There were 2 problems. The first was that the interrupt did
   test DINT and raise a completion events. But since DINT is
   just an indication of DMA completion, TC is a valid way to
   determine that the transfer is complete.

   The second problem is that Software Reset For DAT Line
   SDHC_SYSCTL[RSTD] clears the bits 24-0 in SDHC_PROTO
   this looses the wide bus setting DTW

platforms/nuttx/nuttx-configs/nxphlite-v3/nsh/defconfig

@@ -253,7 +253,7 @@ CONFIG_KINETIS_LPTIMER=y
 CONFIG_KINETIS_RTC=y
 # CONFIG_KINETIS_EWM is not set
 # CONFIG_KINETIS_CMT is not set
-# CONFIG_KINETIS_USBOTG  is not set
+# CONFIG_KINETIS_USBOTG is not set
 CONFIG_KINETIS_USBDCD=y
 # CONFIG_KINETIS_LLWU is not set
 # CONFIG_KINETIS_TSI is not set
@@ -283,7 +283,7 @@ CONFIG_KINETIS_PORTEINTS=y
 #
 # Kinetis SDHC Configuration
 #
-# CONFIG_KINETIS_SDHC_DMA is not set
+CONFIG_KINETIS_SDHC_DMA=y
 # CONFIG_KINETIS_SDHC_WIDTH_D1_ONLY is not set
 # CONFIG_KINETIS_SDHC_ABSFREQ is not set
 
@@ -615,7 +615,7 @@ CONFIG_MMCSD_MMCSUPPORT=y
 CONFIG_MMCSD_HAVECARDDETECT=y
 # CONFIG_MMCSD_SPI is not set
 CONFIG_ARCH_HAVE_SDIO=y
-# CONFIG_SDIO_DMA is not set
+CONFIG_SDIO_DMA=y
 # CONFIG_ARCH_HAVE_SDIOWAIT_WRCOMPLETE is not set
 CONFIG_MMCSD_SDIO=y
 # CONFIG_SDIO_PREFLIGHT is not set