[Bug 233571] New: TexasInstrumen SDHCI Controller not working