Ill try this again, cause why not? I do know the card worked, but it was so long ago i have no idea what the kernel name was.
EDIT: Unfortunately, did not work. Either filename.
Ill try those too. I never updated it to the dsi firmware, as I own a DS phat.
Im pretty sure that my card and his...