Hi,
I can't comment on whether this is a U-Boot bug or not, but the code you would want to debug is inside <u-boot_dir>/common/cmd_mmc.c: do_mmcops().
Put some prints and check why the MMC device isn't what you expect it to be.
Best regards,
Miroslav