I should've clarified in my first post--The second card is definitely compatible, as if I load the boot.elf tool from it and use HackMii to prepare an SD card, it also works with BootMii, but it won't work if I then reformat it on Windows and copy the files back to it. So it looks like it's a...