The SD/MMC slot works! Use a shell command like `pmount /dev/mmcblk0p1 mmc' to mount the SD card to /media/mmc. The `mmcblk0p1' device name can be seen by using the command `cat /proc/partitions' after the SD card is inserted.
