Hi,
--- Quote Start ---
so I thought of a few possible problems
1. pin assignments
2. IP core not configured as should
3. driver not loaded
--- Quote End ---
The kernel messages
mmc0: new SD card on SPI
mmcblk0: mmc0:0000 TWTTI 124672KiB
mmcblk0: p1 p2
show that your SD card has 124672Kbyte volume and 2 partitions. If it is right, please consider well why your kernel knows such thing. Without several communications between your kernel and SD, it can't display those information.
And did you execute the 'mount' command? For example, please type
root> mount -t vfat /dev/mmcblk0p1 /mnt
to mount your SD's partition 1 for /mnt. (Opps, before to do this, please check the major number of /dev/mmcblk0p1 with 'ls /dev/mmcblk0p1 -l'. The number must be 179.:D)
...And, what is the claim?
Kazu