Something seems to have changed (the kernel module seems to deal with the device), but the insertion of a micro-sd card remains unseen by the system. Additionally, the devices /dev/sdb1 and /dev/sdc1 remain inaccessible (I tried to with fdisk).