Does sdcard hotplug work in the newer Debian kernels?

I’m plugging in SDcards, and nothing shows up in /dev/mmc*. What is the state of SDcard support in the newer (I’m using bone70) kernels?

Sorry! I just tried a fresh install, it’s working now. I only did two things to change from the default: disabled HDMI, and replaced am335x-boneblack.dtb with the LEDscape version. I’m guessing the second one breaks the sdcard.

I’m trying to find the .dts file for the .dtb, is it available?

Looking in /boot/dtbs/3.8.13-bone70 I see a ton of dtbs:

am335x-bone.dtb am335x-tester.dtb omap3-evm.dtb omap4-sdp.dtb
am335x-boneblack.dtb arduino-tre.dtb omap3-tobi.dtb omap4-var-som.dtb
am335x-boneblack.dts omap2420-h4.dtb omap4-panda-a4.dtb omap5-evm.dtb
am335x-evm.dtb omap3-beagle-xm.dtb omap4-panda-es.dtb
am335x-evmsk.dtb omap3-beagle.dtb omap4-panda.dtb

The only one the kernel is using is ‘am335x-boneblack.dtb’ right? Where is this specified? What are the others here for?