Hey,
I'm using a card that says R4SDHC on it, but won't run the 1.34 kernel. If i interpret this site correctly, I have an old version or something. I use a 4GB microSD card with it.
In any case, neither of the versions in the OP start up for me, neither as a .nds nor as a renamed _DS_MENU.DAT...