The device nodes for the sd card are just not created I think. I found some references to mmc in sysfs on the debugging shell, but I have no clue why the device nodes are not created. The dmesg looks like the drivers are loaded. I guess I will try out with another sd card or an emmc.
Martin threatening to do kernel work sounds awesome! If there is stuff to test I am happy to do it.