Adjust the below file and the machine’s Micro SD Card reader should work fine after that.

# nano /etc/modprobe.d/sdhci.conf
----------------------------------
# Adjsutment to make micro SD card reader work
options sdhci debug_quirks=0x8000
# update-initramfs -u -k all

Reference


Savagezen's Blog

A minimalist guide to my many projects.