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