[Bug 443149] New: sd/ sdhc card in texas instruments card reader recognized only on boot