No matches were found for subject:"Bug#743935\: base\: Once SD card safely removed, sometimes it is no more recognized until restart"