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