TX2 Vs TX1: SDMMC3 interface not brought to TX2 module connector

No, we don’t suggest that as it is SD card/SDIO only on SDMMC1.