--- /usr/src/sys/dev/sdhci/sdhci_pci.c	2019-11-01 01:01:35.000000000 +0100
+++ /usr/src/sys/dev/sdhci/sdhci_pci.c	2020-08-11 22:21:13.675687000 +0200
@@ -90,6 +90,9 @@ 
 	    SDHCI_QUIRK_LOWER_FREQUENCY },
 	{ 0x8034104c,	0xffff, "TI XX21/XX11 SD",
 	    SDHCI_QUIRK_FORCE_DMA },
+	{ 0x803c104c,	0xffff, "TI XX12 SD",
+	    SDHCI_QUIRK_FORCE_DMA |
+	    SDHCI_QUIRK_WAITFOR_RESET_ASSERTED },
 	{ 0x05501524,	0xffff, "ENE CB712 SD",
 	    SDHCI_QUIRK_BROKEN_TIMINGS },
 	{ 0x05511524,	0xffff, "ENE CB712 SD 2",